摘要: 结合SystemC验证库(SCV)的特点,提出了一种新的事务级验证模型,对其中部分主要模块进行了描述。该模型具有事务级交易记录、结果自检测以及随机测试等特性,通过该模型能够构建事务级验证平台。通过RAM实例,描述了验证平台的构建过程。
关键词:
SystemC验证库,
SystemC,
事务级验证
Abstract: 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.
Key words:
SystemC verification library(SVC),
SystemC,
transaction-level verification
中图分类号:
方 亮;戎蒙恬;刘文江;毛军发. 基于SCV的事务级验证建模[J]. 计算机工程, 2007, 33(15): 238-240.
FANG Liang; RONG Meng-tian; LIU Wen-jiang; MAO Jun-fa. Modeling of Transaction-level Verification Based on
SystemC Verification Library
[J]. Computer Engineering, 2007, 33(15): 238-240.