基于SCV的事务级验证建模  

Modeling of Transaction-level Verification Based on SystemC Verification Library

作　　者：方亮[1] 戎蒙恬[1] 刘文江[1] 毛军发[1] 

机构地区：[1]上海交通大学信息安全工程学院,上海200240

出　　处：《计算机工程》2007年第15期238-240,共3页Computer Engineering

基　　金：国家自然科学基金委创新研究群体基金资助项目(60521002);上海应用材料研究与发展基金资助项目(0501)

摘　　要：结合SystemC验证库(SCV)的特点,提出了一种新的事务级验证模型,对其中部分主要模块进行了描述。该模型具有事务级交易记录、结果自检测以及随机测试等特性,通过该模型能够构建事务级验证平台。通过RAM实例,描述了验证平台的构建过程。This paper presents a new transaction-level verification model based on the SystemC verification library （SCV）, and discusses some details about the key modules. It is easier and more effective to build a functional verification testbench which enables transaction recording, self-checking and random-constrained. A case study from a RAM design is used to show the effectiveness of the approach.

关 键 词：SystemC验证库 SYSTEMC 事务级验证 

分 类 号：TN47[电子电信—微电子学与固体电子学]