Association for Computing Machinery
The ARM Advanced Microcontroller Bus Architecture (AMBA) is a widely used interconnection standard for System-on-Chip (SoC) design. In order to support high-speed pipelined data transfers, AMBA supports a rich set of bus signals, making the analysis of AMBA-based embedded systems a challenging proposition. This paper makes two main contributions to the analysis and evaluation of AMBA-based SoC designs. The first contribution is to provide a method for the performance analysis and evaluation of AMBA-based SoC designs using formal models. This paper provides a way to obtain the end-to-end execution bounds of AMBA-based SoC designs, and guarantees the correctness of the results.