Verification IP for an AMBA-AXI Protocol using System Verilog
G. Mahesh · 2015
Abstract — In this paper, a coverage driven verification methodology to verify the AMBA AXI Bus protocol with its verification environment is proposed. The whole verification process is carried out using the system verilog based modeling approach. The AXI verification scenario includes the Read and Write transaction phases, which are getting verified with their values of valid count, busy count and bus utilization factor. The functional verification of the AXI is carried out using Mentor Graphics Questa- sim in code coverage enabled mode.