Formal verification methodology considerations for network on chips

Abstract

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

Topics

  • Presentations referencing similar topics