Implementation of VIP for bus interface logic of 32 bit processor using

David Neels Pon Kumar D, ARUN SAMUEL T.S


A verification environment to verify an ARM based SoC is proposed in this work. This work introduces the design of a Verification Intelluctual Property (VIP) of Advanced Microcontroller Bus Architecture (AMBA).  AMBA protocols are today the best standards for 32 bit processor because they are well documented and can be used without royalties. The Verification Intelluctual Property (VIP) provides Coverage Driven Verification (CDV) which significantly reduces the design verification time. The code coverage verification of the AHB bus master, Icache controller, Dcache controller and APB peripherals such as APB bridge, timer, UART and ACE is done in this work. The test cases done for the APB peripherals are ACE with the mil_std_protocol, Timers for generation of interrupt and watchdog reset, UART for transmit and receive messages, and interrupt registers for Read and Write. The functional verification of AMBA is carried out using the Mentor Graphics Questasim tool withs the system verilog language.


Verification Intellectual Property; AMBA; Coverage Driven Verification; timer; ACE; UART; system verilog

Full Text:



“AMBA AHB”- specification by arm limited.

AMBA timer data sheet,

ARM, “AMBA specification overview”,

Chris spear, Systemverilog for verification a guide to learning the testbench language features, 2nd edition.

Golla Mahesh, Sakthivel S M “Verification IP for an amba-axi protocol using system verilog”,

International journal of engineering research and general science, Volume 3, issue 1, january-february, 2015 issn 2091-2730.

Han Ke, Deng Zhongliang, Shu Qiong "Verification of AMBA bus model using systemverilog" The eighth international Conference on electronic measurement and instruments icemi’ 2007.

Heli Shah P, Chinmay modi P, Bhargav Tarpara P “Design & implementation of advance peripheral bus protocol”,International journal of scientific engineering and applied science (ijseas) volume-1, issue-3, JUNE 2015 issn: 2395-3470.

Manu B,Prabhavathi P “Design and implementation of AMBA ASB APB bridge” Proceedings of 2013 International conference on fuzzy theory and its application national taiwan university of science and technology, PP6-8, DEC 2013

Questa sim user’s manual, by Mentor Graphics.

Richa Sinha, Akhilesh Kumar and Archanakumari Sinha “Verification analysis of AHB-LITE protocol with coverage”, International journal of advances in Engineering & technology, JAN 2012.



  • There are currently no refbacks.

Copyright (c) 2019 Informacije MIDEM