事务级验证的设计方法
摘要
事务级验证是基于仿真的验证方法的发展趋势,与传统验证方法比较,事务级验证具有更高的抽象层次,对于功能验证具有更强的针对性和验证效率,本文对事务级验证方法进行了简要介绍,说明了事务级验证的实现方法。
出处
《中国集成电路》
2005年第7期35-38,共4页
China lntegrated Circuit
参考文献4
-
1[1]Michael Keating, Pierre Bricaud. Reuse Methodology Manual for System On A Chip Designs (Third Edition).[M] Kluwer Academic Publishers. 2002
-
2[2]A. Habibi, et al. Formal modelling of the ADSP-2100 processor using HOL. [J] CCECE 2002.Winnipeg, Canada, 2002:614～619
-
3[3]A. Bernstein, M. Burton,F. Ghenassia. How to Bridge the Abstraction Gap in System Level Modeling and Design.[J] ICCAD 2004. San Jose, California,2004:910～914
-
4[4]Lukai Cai, et al. Transaction level modeling: an overview. [J] CODES+ISSS 2003. Newport Beach, CA,USA, 2003:19～24
-
1方亮,戎蒙恬,刘文江,毛军发.基于SCV的事务级验证建模[J].计算机工程,2007,33(15):238-240. 被引量：1
-
2朱巍.用SystemC进行SoC的系统级设计与仿真[J].单片机与嵌入式系统应用,2005(1):81-84.
-
3周萌,刘恺,高松涛,邱善勤.总线事务级验证模型仿真性能研究[J].中国集成电路,2013,22(8):23-27.
-
4朱文波,郭斌林.基于事务级USB设备接口IP核的验证[J].计算机与现代化,2009(1):130-132.
-
5陈辉,申敏,刘树军.高效验证平台在TD-SCDMA终端芯片功能验证中的应用[J].重庆邮电学院学报（自然科学版）,2006,18(3):299-302. 被引量：10
