| 基于SCV的事务级验证建模 |
| |
| 引用本文： | 方亮,戎蒙恬,刘文江,毛军发. 基于SCV的事务级验证建模[J]. 计算机工程, 2007, 33(15): 238-240 |
| |
| 作者姓名： | 方亮 戎蒙恬 刘文江 毛军发 |
| |
| 作者单位： | 上海交通大学信息安全工程学院,上海,200240 |
| |
| 基金项目： | 国家自然科学基金 , 上海市应用材料研究与发展项目 |
| |
| 摘 要： | 结合SystemC验证库(SCV)的特点，提出了一种新的事务级验证模型，对其中部分主要模块进行了描述。该模型具有事务级交易记录、结果自检测以及随机测试等特性，通过该模型能够构建事务级验证平台。通过RAM实例，描述了验证平台的构建过程。
|
| 关 键 词： | SystemC验证库 SystemC 事务级验证 |
| 文章编号： | 1000-3428（2007）15-0238-03 |
| 修稿时间： | 2006-09-10 |
Modeling of Transaction-level Verification Based on SystemC Verification Library |
| |
| 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 |
| |
| Authors: | FANG Liang RONG Meng-tian LIU Wen-jiang MAO Jun-fa |
| |
| Affiliation: | School of Information Security Engineering, Shanghai Jiaotong University, Shanghai 200240 |
| |
| 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. |
| |
| Keywords: | SystemC verification library(SVC) SystemC transaction-level verification |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机工程》浏览原始摘要信息 |
|
点击此处可从《计算机工程》下载全文 |
