Accelerating NoC Verification Using a Complete Model and Active Window
This work presents formal modeling of Network-on-Chip (NoC) considering detailed
functional units of NoC. The intricate modeling of NoC router components like buffer, switch …
functional units of NoC. The intricate modeling of NoC router components like buffer, switch …
[引用][C] Formal Modeling of Network-on-Chip and its Applications in Starvation and Deadlock Detection and in Developing Deadlock Free Routing Algorithms
S Das - 2022 - Guwahati