UVM Based Reusable Verification IP for Wishbone Compliant SPI Master Core

09/28/2018
by   Lakhan Shiva Kamireddy, et al.
0

The System on Chip design industry relies heavily on functional verification to ensure that the designs are bug-free. As design engineers are coming up with increasingly dense chips with much functionality, the functional verification field has advanced to provide modern verification techniques. In this paper, we present verification of a wishbone compliant Serial Peripheral Interface (SPI) Master core using a System Verilog based standard verification methodology, the Universal Verification Methodology (UVM). The reason for using UVM factory pattern with parameterized classes is to develop a robust and reusable verification IP. SPI is a full duplex communication protocol used to interface components most likely in embedded systems. We have verified an SPI Master IP core design that is wishbone compliant and compatible with SPI protocol and bus and furnished the results of our verification. We have used QuestaSim for simulation and analysis of waveforms, Integrated Metrics Center, Cadence for coverage analysis. We also propose interesting future directions for this work in developing reliable systems.

READ FULL TEXT

page 3

page 4

research
01/04/2022

Reusing Verification Assertions as Security Checkers for Hardware Trojan Detection

Globalization in the semiconductor industry enables fabless design house...
research
06/22/2021

Assertion Based Functional Verification of March Algorithm Based MBIST Controller

The thesis work presents assertion based functional verification of RTL ...
research
07/19/2021

GNN4IP: Graph Neural Network for Hardware Intellectual Property Piracy Detection

Aggressive time-to-market constraints and enormous hardware design and f...
research
08/11/2020

Cooperative Verification via Collective Invariant Generation

Software verification has recently made enormous progress due to the dev...
research
02/16/2022

Simulation-based Verification of SystemC-based VPs at the ESL

SystemC-based Virtual Prototypes (VPs) at the Electronic System Level (E...
research
02/04/2019

Symbolic QED Pre-silicon Verification for Automotive Microcontroller Cores: Industrial Case Study

We present an industrial case study that demonstrates the practicality a...
research
10/25/2020

Security Assessment of Interposer-based Chiplet Integration

With transistor scaling reaching its limits, interposer-based integratio...

Please sign up or login with your details

Forgot password? Click here to reset