Formal verification methodology considerations for network on chips


Use of Network on Chips (NoCs) as a flexible communication infrastructure is becoming a norm for designing advanced System on Chips (SoCs). However, their implementation complexity is enormous and use of industry proven functional verification methodologies start showing their limitations. Recent research activities have demonstrated that formal… (More)
DOI: 10.1145/2345396.2345433

5 Figures and Tables


  • Presentations referencing similar topics