DocumentCode :
3760817
Title :
Assertion based verification of SGMII IP core incorporating AXI Transaction Verification Model
Author :
Rini Sebastian;Silpa Rose Mary; Gayathri M;Anoop Thomas
Author_Institution :
Dept. of Electronics and Communication, Rajagiri School of Engineering and Technology, Kochi, Kerala, India
fYear :
2015
Firstpage :
585
Lastpage :
588
Abstract :
In the era of System-on-Chips (SoCs), verification complexity is clearly due to the logical and functional anomalies in the design specifications. Challenges in verification is mainly due to the interoperable multifunctional modules. In most cases, simulation based functional verification validates the system functionalities. But with the progress in technology, tools and methodologies need to be improved to meet the challenges of transforming verification environment. The adoption of System Verilog (SV) based Universal Verification Methodology (UVM) bridges the gap between high-level proposition and low-level details of the design under verification. The intent of this paper is to throw light into benefits associated with Assertion Based Verification (ABV). ABV has been successfully applied to multiple levels of design abstraction. The efficiency of ABV is proven in SGMII IP core integrated to Advanced eXtensible Interface (AXI)-Wishbone(WB) bridge through an AXI Transaction Verification Model (TVM). ABV along with coverage based verification facilitates verification of complete functionalities. All simulations are done in NCsim and waveforms are analysed in Simvision.
Keywords :
"IP networks","Clocks","Bridges","Complexity theory","Hardware design languages","Analytical models","Receivers"
Publisher :
ieee
Conference_Titel :
Control Communication & Computing India (ICCC), 2015 International Conference on
Type :
conf
DOI :
10.1109/ICCC.2015.7432965
Filename :
7432965
Link To Document :
بازگشت