
369
10.1 VERIFICATION OF ON-CHIP COMMUNICATION PROTOCOLS
On-chip communication architecture standards that are widely used today,
such as AMBA 2.0/3.0 [1, 2] , STBus [3], IBM CoreConnect [4], and Sonics Smart
Interconnect [5], are primarily described using informal specifi cation documents
that combine timing diagrams with English language descriptions. Such informal
specifi cations can be the source of many bugs when an on-chip communication
architecture is being implemented, due to misinterpretation of dense information,
inconsistencies in the specifi cation, or incorrect assumptions for incompletely spec-
ifi ed aspects of the protocols. In ...