On-Chip Communication Architectures

Chapter 10. Verification and Security Issues in On-Chip Communication Architecture Design

With the growing complexity of on-chip communication protocols, it is becoming essential to verify the correctness of these protocols connecting intellectual property (IP) blocks (components) in a system-on-chip (SoC), to ensure freedom from bugs, and prevent deadlock or livelock conditions from arising during application execution. The problem of on-chip communication protocol verification is exacerbated by the observation that almost every communication protocol specification is documented informally, using natural languages (e.g., the 230 page AMBA 2.0 [1] specification document). It is quite common for these bulky specification documents to be misinterpreted ...