The AMBA SOC Platform

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