Top

Published in:

2014 | OriginalPaper | Chapter

2. The AMBA SOC Platform

Authors : Roopak Sinha, Parthasarathi Roop, Samik Basu

Published in: Correct-by-Construction Approaches for SoC Design

Publisher: Springer New York

Activate our intelligent search to find suitable subject content or patents.

search-config

AI-assisted search

Off

Abstract

ARM is one of the most widely used processor in modern SoCs such as mobile phones. This chapter presents the internals of typical SoCs from an ARM perspective. This includes the internals of the AMBA family of buses and associated IPs. We provide an in-depth description of the buses and associated timing. We then elaborate on how to formally represent a bus transaction using the well known concept of finite state machines (FSMs).

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

über 102.000 Bücher
über 537 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Finance + Banking
Management + Führung
Marketing + Vertrieb
Maschinenbau + Werkstoffe
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 390 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Maschinenbau + Werkstoffe

Jetzt Wissensvorsprung sichern!

inform now

previous chapter System-on-a-Chip Design

next chapter Automatic Verification Using Model and Module Checking

[ARM]

ARM, AMBA Specification (Rev 3.0) (2007), http://infocenter.arm.com/help/index.jsp?topic=/com.arm.doc.set.amba/index.html

[ARM99]

ARM, AMBA Specification (Rev 2.0) (1999), http://www.arm.com/products/solutions/AMBA_Spec.html

[AZ10]

P. Ateshian, D. Zulaica, ARM Synthesizable Design with Actel FPGAs: With Mixed-Signal SoC Applications (set 3), 1st edn. (McGraw-Hill Inc., New York, 2010)

[BCE+03]

A. Benveniste, P. Caspi, S.A. Edwards, N. Halbwachs, P. Le Guernic, R. de Simone, The synchronous languages 12 years later. Proc. IEEE 91(1), 64–83 (2003)CrossRef

[Fly97]

D. Flynn, Amba: enabling reusable on-chip designs. Micro, IEEE 17(4), 20–27 (1997)MathSciNetCrossRef

[HD02]

R. Hofmann, B. Drerup, Next generation coreconnect processor local bus architecture. In 15th Annual IEEE International ASIC/SOC Conference, 2002 (IEEE, Rochester, 2002), pp. 221–225

[HLP+10]

K. Huang, J. Lu, J. Pang, Y. Zheng, H. Li, D. Tong, X. Cheng, FPGA prototyping of an AMBA-based windows-compatible SoC. In Proceedings of the 18th Annual ACM/SIGDA International Symposium on Field Programmable Gate Arrays (ACM, New York, 2010), pp. 13–22

[IDT04]

IDT, Idt peripheral bus. White Paper (IDT, Santa Clara, 2004)

[Pet99]

W. Peterson, Design philosophy of the wishbone soc architecture. Silicore Corporation, 1999

[ITR96]

Recommendation Z ITU-T, Z Recommendation. 120, Message Sequence Chart (MSC) (ITU-T, Geneva, 1996), p. 27

[SV02]

A. Sangiovanni-Vincentelli, Defining platform-based design. EEDesign of EETimes, 2002

[Web00]

W.-D. Weber, Enabling reuse via an IP core-centric communications protocol: Open core protocoltm. Proceedings of the IP, pp. 20–22, 2000

[XZ03]

N. Xu, Z. Zhou, Avalon bus and an example of SOPC system. Semicond. Technol. 28(2), 17–20 (2003)

Title: The AMBA SOC Platform
Authors: Roopak Sinha
Parthasarathi Roop
Samik Basu
Publisher: Springer New York
Book: Correct-by-Construction Approaches for SoC Design
Print ISBN: 978-1-4614-7863-8

Electronic ISBN: 978-1-4614-7864-5

Copyright Year: 2014
DOI: https://doi.org/10.1007/978-1-4614-7864-5_2