首页> 中文期刊> 《计算机应用》 >使用SystemC进行基于事务的验证

使用SystemC进行基于事务的验证

开具论文收录证明 >>

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

文献代查 >>

页面导航

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

摘要

分析了使用SystemC的基于事务的验证方法.它应用于一个具体项目的开发,并与传统的验证方法作了对比,证明它在验证效率和验证环境设计效率上均有明显优势.

著录项

来源
《计算机应用》 |2006年第3期|708-710|共3页
作者
牛振兴; 杜旭;
展开▼
作者单位

华中科技大学;

电子与信息工程系;

湖北;

武汉;

430074;

华中科技大学;

电子与信息工程系;

湖北;

武汉;

430074;

展开▼
原文格式 PDF
正文语种 chi
中图分类 TP311.53;
关键词
基于事务的验证方法; SystemC语言; 验证环境;

相似文献

中文文献
外文文献
专利

1. 使用SystemC验证库进行随机验证 [J] . 王忠海 ,叶以正 . 微处理机 . 2005,第005期
2. 基于SystemC的事务级协同验证方法研究 [J] . 王长慧 . 电子与电脑 . 2006,第012期
3. 使用SystemC2.0进行SoC设计建模仿真 [J] . 王忠海 ,叶以正 ,喻明艳 . 计算机仿真 . 2005,第005期
4. 基于SysMLSystemC的GPU任务调度单元事务级建模 [J] . 张少锋 ,田泽 ,吴晓成 . 无线电工程 . 2021,第002期
5. 基于SystemC的事务级建模研究 [J] . 陈琳 ,徐金甫 ,章轶 . 微电子学与计算机 . 2006,第11期
6. 基于SystemC的软/硬件协同验证方法 [C] . 须自明 ,刘战 ,王国章 . 第十届计算机工程与工艺全国学术年会 . 2006
7. 基于SystemC的1553B总线事务级模型设计 [A] . 谢剑楠 . 2015

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号