O'Reilly logo

On-Chip Communication Architectures by Nikil Dutt, Sudeep Pasricha

Stay ahead with the world's most comprehensive technology and business learning platform.

With Safari, you learn the way you learn best. Get unlimited access to videos, live online training, learning paths, books, tutorials, and more.

Start Free Trial

No credit card required

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 ...

With Safari, you learn the way you learn best. Get unlimited access to videos, live online training, learning paths, books, interactive tutorials, and more.

Start Free Trial

No credit card required