[bib10_biblio01] [1] ARM AMBA Specification and Multilayer AHB Specification (rev2.0), http://www.arm.com, 2001.
[bib10_biblio02] [2] ARM AMBA AXI Specification, www.arm.com/armtech/AXI.
[bib10_biblio03] [3] “STBus Communication System: Concepts and Definitions,” Reference Guide, STMicro-electronics, May 2003.
[bib10_biblio04] [4] IBM CoreConnect Specification, http://www.ibm.com/chips/techlib/techlib.nsf/productfamilies/CoreConnect_Bus_Architecture.
[bib10_biblio05] [5] Sonics SMART Interconnect, http://www.sonicsinc.com.
[bib10_biblio06] [6] E. Clarke, E. Emerson and A. Sistla, “Automatic verification of finite-state concurrent systems using temporal logic specifications,” ACM Transactions on Programming Languages and Systems, Vol. 8, No. 2, 1986. ...
Get On-Chip Communication Architectures now with the O’Reilly learning platform.
O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.