首页> 中文期刊> 《计算机工程》 >基于SCV的事务级验证建模

基于SCV的事务级验证建模

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

结合SystemC验证库(SCV)的特点,提出了一种新的事务级验证模型,对其中部分主要模块进行了描述.该模型具有事务级交易记录、结果自检测以及随机测试等特性,通过该模型能够构建事务级验证平台.通过RAM实例,描述了验证平台的构建过程.

著录项

来源
《计算机工程》 |2007年第15期|238-240|共3页
作者
方亮; 戎蒙恬; 刘文江; 毛军发;
展开▼
作者单位

上海交通大学信息安全工程学院;

上海;

200240;

上海交通大学信息安全工程学院;

上海;

200240;

上海交通大学信息安全工程学院;

上海;

200240;

上海交通大学信息安全工程学院;

上海;

200240;

展开▼
原文格式 PDF
正文语种 chi
中图分类大规模集成电路、超大规模集成电路;
关键词
SystemC验证库; SystemC; 事务级验证;

相似文献

中文文献
外文文献
专利

1. 基于SPARC V8的事务级SoC验证平台设计 [J] . 杨奕 ,付方发 ,王晗宇 . 微电子学与计算机 . 2014,第3期
2. 基于事务级的SOC软硬件协同验证系统的设计与实现 [J] . 廖永波 ,阮爱武 ,朱建华 . 电子世界 . 2011,第007期
3. 基于事务级USB设备接口IP核的验证 [J] . 朱文波 ,郭斌林 . 计算机与现代化 . 2009,第001期
4. 利用UML-RT序列图支持基于事务的SoC系统级功能验证 [J] . 余金山 ,谭庆平 ,李暾 . 计算机工程与科学 . 2007,第003期
5. 基于SystemC的事务级协同验证方法研究 [J] . 王长慧 . 电子与电脑 . 2006,第012期
6. 基于UVM的事务级处理器建模 [C] . 高瑛珂 ,张铁军 ,王东辉 . 中国科学院声学研究所第四届青年学术交流会 . 2012
7. 基于SPARC V8的事务级SoC验证平台设计 [A] . 杨奕 . 2013

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号