Theorem proving techniques for the formal verification of NoC communications with non-minimal adaptive routing
This paper focuses on the formal verification of communications in Networks on Chip. We
describe how an enhanced version of the GeNoC proof methodology has been applied to …
describe how an enhanced version of the GeNoC proof methodology has been applied to …
[引用][C] Formalization of the XUM On-Chip network: A Hardware Verification Benchmark
B Meakin, G Ayers, G Gopalakrishnan