首页> 中文会议>2006年全国第六届嵌入式系统学术年会 >事务级验证在多级模型中的复用

事务级验证在多级模型中的复用

页面导航

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

摘要

传统的基于事务的验证无法直接应用于RTL级模型,使得RTL级模型验证成为验证效率提升的瓶颈.本文基于混合仿真的方法,将系统级的事务级验证模块应用于RTL级模型的验证.使RTL级验证的效率提高,减少了验证团队的工作量.

著录项

来源
《2006年全国第六届嵌入式系统学术年会》|2006年|509-511|共3页
会议地点西安
作者
黄盈; 桑楠;
展开▼
作者单位

中国计算机学会;

展开▼
会议组织
正文语种
原文格式 PDF
中图分类计算机仿真;
关键词
事务; So; RTL级验证; 事务级验证; 混合仿真;

相似文献

中文文献
外文文献
专利

1. 事务级形式验证技术及8051验证模型 [J] . 王彬 ,任艳颖 ,林争辉 . 计算机辅助设计与图形学学报 . 2003,第008期
2. 模块级验证环境在顶层验证中的复用 [J] . 俞波 . 电子设计应用 . 2006,第005期
3. 多核处理器事务级模型多视图协同验证环境 [J] . 王俊 ,刘磊 ,张龙 . 计算机工程与科学 . 2014,第005期
4. 总线事务级验证模型仿真性能研究 [J] . 周萌 ,刘恺 ,高松涛 . 中国集成电路 . 2013,第008期
5. 掺铒光纤放大器黑盒模型在波分复用系统中的实验验证 [J] . 徐捷 ,曾庆济 ,肖石林 . 光通信技术 . 2002,第001期
6. 基于服务协调模型的业务事务验证方法研究 [C] . 袁敏 ,黄志球 ,李祥 . 第一届全国服务计算学术会议 . 2010
7. 多核处理器事务级模型多视图协同验证方法研究与实现 [A] . 王俊 . 2013

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号