The industry needs a renewed approach to verification IP
Dhrubajyoti Kalita, Intel
EETimes (2/21/2012 10:38 AM EST)
Today’s SoC verification environments require a reusable verification IP (VIP) infrastructure that allows plug-and-play of verification IP in SoC integration. The VIP must include hooks in the verification IP that would make writing an SoC integration test environment (tests, BFMs, monitors, checkers) easier and faster. Typically, SoC verification methodologies focus on verifying only the glue logic of the reused IP, rather than verifying IP functionality in the SoC environment.
The current verification IP landscape comprises multiple implementation languages: C, C++, SystemC, VHDL, Verilog, SystemVerilog, ‘e’, OpenVera, etc. Although SystemVerilog is the unifying standard, legacy use of other languages lingers as IP vendors adopt SystemVerilog. Every VIP brings unique challenges to integration with the SoC environment, such as synchronizing SystemVerilog test sequences with SystemC/C/C++ code. The solution is often VIP specific and takes significant effort to implement. Moreover, because SoC verification environments need to stitch all the heterogeneous VIPs together, which is often a painful process, maintaining the SoC environment is resource intensive as well.
To read the full article, click here
Related Semiconductor IP
- USB 20Gbps Device Controller
- Fault Tolerant DDR2/DDR3/DDR4 Memory controller
- 25MHz to 4.0GHz Fractional-N RC PLL Synthesizer on TSMC 3nm N3P
- AGILEX 7 R-Tile Gen5 NVMe Host IP
- 100G PAM4 Serdes PHY - 14nm
Related White Papers
- Plug-n-play UVM Environment for Verification of Interrupts in an IP
- Low Power Analysis and Verification of Super Speed Inter-Chip (SSIC) IP
- Challenges and Benefits of Low Power Design Verification with CPF for a standalone IP
- The 7 levels of IP verification
Latest White Papers
- aTENNuate: Optimized Real-time Speech Enhancement with Deep SSMs on RawAudio
- Combating the Memory Walls: Optimization Pathways for Long-Context Agentic LLM Inference
- Hardware Acceleration of Kolmogorov-Arnold Network (KAN) in Large-Scale Systems
- CRADLE: Conversational RTL Design Space Exploration with LLM-based Multi-Agent Systems
- On the Thermal Vulnerability of 3D-Stacked High-Bandwidth Memory Architectures