Design and Verification of AMBA AXI3 Protocol

Objective: In this paper, the design and verification of AMBA AXI3 protocol are carried out in a coverage mode analysis using Verilog HDL language. Method: The design of AXI protocol is made according to its architecture specifications, and its functionality is verified using QuestaSim tool. In the AXI protocol analysis, the burst-based transactions, i.e. writing and reading of increment burst have been implemented. Findings: In addition to that the AMBA AXI efficiency is evaluated by calculating performance metrics bus utilization, busy count and valid count. In the entire paper, a verification environment is created for the verification of AXI protocol as a verification IP for modern SOC architectures. Applications: High percentage of bus utilization ensures that the SOC on chip bus is functioning well and makes this protocol as one of the widely used protocols in today’s SOC implementation.

[1]  Huawei Li,et al.  Bug analysis and corresponding error models in real designs , 2007, 2007 IEEE International High Level Design Validation and Test Workshop.

[2]  Cheol Hong Kim,et al.  Improving the System-on-a-Chip Performance for Mobile Systems by Using Efficient Bus Interface , 2009, 2009 WRI International Conference on Communications and Mobile Computing.

[3]  Tae-Jin Kim,et al.  Design and implementation of Performance Analysis Unit (PAU) for AXI-based multi-core System on Chip (SOC) , 2010, Microprocess. Microsystems.

[4]  Ing-Jer Huang,et al.  A synthesizable AXI protocol checker for SoC integration , 2010, 2010 International SoC Design Conference.

[5]  Sujit Dey,et al.  Design of high-performance system-on-chips using communication architecture tuners , 2004, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[6]  Golla Mahesh.  Verification IP for an AMBA-AXI Protocol using System Verilog , 2015 .

[7]  G. Mahesh,et al.  Verification of memory transactions in AXI protocol using system verilog approach , 2015, 2015 International Conference on Communications and Signal Processing (ICCSP).

[8]  Bruce Mathewson.  The evolution of SOC interconnect and How NOC Fits Within It , 2010, Design Automation Conference.

[9]  Shaila S. Math,et al.  Data transactions on system-on-chip bus using AXI4 protocol , 2011, 2011 INTERNATIONAL CONFERENCE ON RECENT ADVANCEMENTS IN ELECTRICAL, ELECTRONICS AND CONTROL ENGINEERING.

[10]  S. M. Sakthivel,et al.  Functional verification of the Axi2OCP bridge using system verilog and effective bus utilization calculation for AMBA AXI 3.0 protocol , 2015, 2015 International Conference on Innovations in Information, Embedded and Communication Systems (ICIIECS).

[11]  Luca Benini,et al.  Network-on-chip architectures and design methods , 2005 .