Login / Signup
Formal Modeling of Network-on-Chip Using CFSM and its Application in Detecting Deadlock.
Surajit Das
Chandan Karfa
Santosh Biswas
Published in:
IEEE Trans. Very Large Scale Integr. Syst. (2020)
Keyphrases
</>
network on chip
low cost
energy consumption
formal specification