首页 | 本学科首页   官方微博 | 高级检索  
     检索      

一种高速缓冲存储器的可综合伪随机功能验证方法
引用本文:张建民,张峻,夏军,庞征斌,徐炜遐.一种高速缓冲存储器的可综合伪随机功能验证方法[J].上海交通大学学报,2013,47(1):123-128.
作者姓名:张建民  张峻  夏军  庞征斌  徐炜遐
作者单位:(国防科学技术大学 计算机学院, 长沙 410073)
基金项目:国家自然科学基金项目,国家高技术研究发展计划项目(863)项目
摘    要:针对微处理器的高速缓冲存储器(Cache),提出了一种可综合的伪随机功能验证方法,对其在实际芯片中的性能进行测试,并与常见的基于软件模拟的随机功能验证方法进行了对比.结果表明,与基于软件模拟的伪随机功能验证方法相比,所提出的可综合伪随机验证方法的处理速度快约3个数量级,并且能够发现更多的功能错误.

关 键 词:高速缓冲存储器    功能验证    伪随机激励    硬件仿真  
收稿时间:2012-05-17

A Synthesizable Pseudo-Random Functional Verification Method for Cache
ZHANG Jian-min,ZHANG Jun,XIA Jun,PANG Zheng-bin,XU Wei-xia.A Synthesizable Pseudo-Random Functional Verification Method for Cache[J].Journal of Shanghai Jiaotong University,2013,47(1):123-128.
Authors:ZHANG Jian-min  ZHANG Jun  XIA Jun  PANG Zheng-bin  XU Wei-xia
Institution:(College of Computer, National University of Defense Technology, Changsha 410073, China)
Abstract:For the Cache in the microprocessors, a synthesizable pseudo-random functional verification method was proposed. This method was applied in the real chips, and was compared with the pseudo-random verification method on software simulation in performance. The results show that the method is faster by about three orders of magnitude, and can find more bugs in the designs in comparison to the pseudo-random verification method on software simulation.
Keywords:Cache  functional verification  pseudo random stimulus  hardware emulation  
本文献已被 CNKI 万方数据 等数据库收录!
点击此处可从《上海交通大学学报》浏览原始摘要信息
点击此处可从《上海交通大学学报》下载免费的PDF全文
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号