System Verilog-based Verification Environment using SysternC Custom Hierarchical Channel
A verification environment which is based on a constrained random layered testbench using System Verilog OOP is implemented in this paper to verify the functionality of DUT designed with synthesizable constructors of systemVerilog. Although the uses of multiple inheritance in OOP appear to be less common than those of single inheritance,multiple inheritance is useful for creating class types that combine the properties of two or more class types.Because System Verilog OOP technique does not allow multiple inheritance,we adopt SystemC to design a component of verification environment which has multiple inheritance,and we combine SystemC design unit with the SystemVerilog-based layered testbench using systemVerilog DPI and ModelSim macro.System Verilog DPI provides a way to interface with any other foreign language.Functions and tasks registered to shared library using DPI can be called out like native ones.ModelSim recently supports SystemC simulation with built-in compiler for SystemC design unit.In order to simulate SystemC design unit with ModelSim,the SystemC design unit should be modified using some macros provided by ModelSim.In this paper,FIFO channel frequently used in high-level communication is designed as a custom hierarchical channel which has three base classes;sc_channel,channel interface,and data payload interface. The low-layer components of the System Verilog-based layered testbench communicate with DUT using virtual interface,and other components can communicate with each other using FIFO channel.DUT in this paper includes BFM because most Ips designed for SoC are connected to a bus and controlled through the bus.
System Verilog SystemC verification environment layered-testbench custom hierarchical channel
Myoung-Keun You Gi-Yong Song
Computer Engineering Division,College of Electrical & Computer Engineering,Chungbuk National Univers Electronics Engineering Division,College of Electrical & Computer Engineering,Chungbuk National Univ
国际会议
2009 IEEE 8th International Conference on ASIC(第八届IEEE国际专用集成电路大会)
长沙
英文
1310-1313
2009-10-20（万方平台首次上网日期，不代表论文的发表时间）