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
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"
Conference_Titel :
Control Communication & Computing India (ICCC), 2015 International Conference on
DOI :
10.1109/ICCC.2015.7432965