期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
微处理器基于功能覆盖率的伪随机验证方法
被引量:
5
原文传递
导出
摘要
本文提出了一种基于功能覆盖率的伪随机验证方法,该方法能根据功能覆盖率的反馈自动生成测试向量进行测试,能提高验证的效率和质量,缩短设计时间,降低验证成本。
作者
张蓓莉
机构地区
国家高性能集成电路(上海)设计中心
出处
《计算机与信息技术》
2006年第4期59-60,共2页
Computer & Information Technology
关键词
覆盖率
伪随机
功能验证
微处理器
分类号
TP332 [自动化与计算机技术—计算机系统结构]
引文网络
相关文献
节点文献
二级参考文献
0
参考文献
8
共引文献
0
同被引文献
29
引证文献
5
二级引证文献
14
参考文献
8
1
Verisity.SEQUENCE:Constructing Test Scenarios"[]..
2
Indradeep Ghosh,Rajarshi Mukherjee,Mukul Prasad,Masahiro Fujita.Highlevel design validation current practices andfu-ture directions[]..
3
Bob Bentley,Rand Gray.validating the Intel Pentium4processor[]..
4
Verisity.SPECMANELITE Usage and Concepts Guide[]..
5
Akihiro Hi-gashi,Kazuhide Tamaki,Takayuki Sasaki.Verification Methodologyfor a Complex SoC[]..
6
Marco Brunelli,Luca Batt敶,Andrea Castelnuovo,Francesco Sforza.Functional Verification of an HW Block using VERA[]..
7
Verisity.e language reference manual[]..
8
Scott Taylor,Michael Quinn,Darren Brown,Nathan Dohm,Scot Hildebrandt,James Huggins,Carl Ramey.Functional Verification of a Multiple-issue,Out-of-Order,Superscalar Alpha Processor-The DEC Alpha21264Micro-processor[]..
同被引文献
29
1
刘卓军,吴尽昭.
集成电路验证技术[J]
.中国基础科学,2007(3):11-14.
被引量:3
2
杜慧敏,曾泽沧,韩俊刚,沈绪榜.
构造特定应用领域芯片验证环境的方法讨论[J]
.微电子学与计算机,2004,21(6):185-189.
被引量:6
3
解咏梅,张珩,张福新.
基于覆盖率的功能验证方法[J]
.计算机应用研究,2005,22(1):23-24.
被引量:8
4
黄卫华,朱向东,沈绪榜.
一种高速USB设备控制器IP核的设计与实现[J]
.微电子学与计算机,2005,22(5):106-109.
被引量:6
5
王赵君,沈海华.
龙芯2号配套PCI Bridge的功能覆盖率验证[J]
.计算机工程,2006,32(11):277-279.
被引量:3
6
徐盛,章玮,金钊.
基于断言的验证方法在总线协议验证中的应用[J]
.电子设计应用,2006(11):88-90.
被引量:11
7
任宇,王以伍.
VLSI设计中一种新型的功能验证方法[J]
.微计算机信息,2006,22(12Z):285-287.
被引量:3
8
张珩,辜帆.
VMM验证方法在AXI总线系统中的实现——Verification IP应用一例[J]
.中国集成电路,2007,16(6):19-23.
被引量:3
9
Janick Bergeron.Writing Testbenches Using SystemVerilog[M].Synopsys,Inc.2006.
10
Chris Spear.SystemVerilog for Verification[M].Synopsys,Inc.2006.
引证文献
5
1
褚晓滨,陆铁军,宗宇.
结合断言与覆盖率为导向的验证方法[J]
.微电子学与计算机,2008,25(11):39-42.
被引量:12
2
周卓.
基于SV语言的802.11 MAC芯片逻辑验证方案[J]
.现代电子技术,2009,32(18):13-16.
被引量:1
3
董宝贵,张长明,欧家成.
基于SV语言的DBA芯片的验证[J]
.通信技术,2010,43(9):173-176.
4
杨鹏飞,付修峰.
多重覆盖率导向结合断言的FPGA验证方法研究及应用[J]
.计算机与现代化,2013(5):176-180.
被引量:1
5
席筱颖.
集成电路功能验证方法[J]
.科技传播,2010,2(23):137-137.
二级引证文献
14
1
李洋洋,吴武臣,王龙伟,王宁,侯立刚.
基于断言的验证方法在UART模块中的应用研究[J]
.微电子学与计算机,2010,27(1):151-153.
被引量:7
2
姚爱红,吴剑,张智钧.
功能覆盖率驱动的TAU/MVBC模块验证[J]
.计算机应用研究,2011,28(4):1352-1355.
3
刘芳,谢峥,连志斌,王新安.
一种可重构的通用总线接口验证平台的研究及实现[J]
.电子器件,2011,34(3):350-354.
被引量:1
4
朱车壮,陈岚,冯燕.
基于覆盖率驱动的SoC验证技术研究[J]
.微电子学与计算机,2011,28(11):48-52.
被引量:5
5
王远,陈孟东,陈冬,刘杨,齐鹏.
基于System Verilog的芯片模拟器设计与实现[J]
.电脑知识与技术,2012,8(3):1662-1664.
6
李智广,章建雄,王玉艳.
基于覆盖率的微处理器运算单元验证技术[J]
.计算机工程,2012,38(13):221-223.
7
王红卫,占杨林,梁利平.
以覆盖率为导向的自动化验证平台[J]
.电子测试,2013,24(3):82-84.
被引量:3
8
杨鹏飞,付修峰.
多重覆盖率导向结合断言的FPGA验证方法研究及应用[J]
.计算机与现代化,2013(5):176-180.
被引量:1
9
李森森,张立朝,徐金甫.
一种基于断言的高效验证实现方法[J]
.微电子学与计算机,2014,31(4):128-131.
被引量:1
10
刘航天,周懿,戴紫彬,张立朝.
覆盖率导向的可重用PCIe验证平台设计[J]
.计算机工程与设计,2016,37(6):1675-1680.
1
GE推出新的高性能COM Express模块为恶劣环境应用提供高性能低功耗加固解决方案[J]
.测控技术,2012,31(5):144-144.
2
林贵祥,刘强,张浩,邓加喜,郭芳名.
一种集成仿真的快速定制设计方法[J]
.广东工业大学学报,2016,33(4):44-50.
被引量:3
3
吕鹏涛,张娟,支高飞.
试飞机载测试系统一体化验证平台的设计与实现[J]
.计算机测量与控制,2015,23(11):3582-3584.
被引量:3
4
张旻.
DO-178B可验证的机载操作系统配置生成技术[J]
.航空计算技术,2012,42(6):95-98.
被引量:3
5
汤小明,苏罗辉,宋科璞.
飞行管理系统AADL建模与分析[J]
.计算机技术与发展,2010,20(3):191-194.
被引量:12
6
冯俊,袁志刚.
融资合同、信号机制与中国金融结构改革[J]
.中国社会科学,2005(6):67-78.
被引量:6
7
谭安菊,陈泉根,许晏.
利用APTIX MP3C和Spartan-IIE FPGA实现数字系统的验证[J]
.国外电子元器件,2005(9):4-7.
8
张健,黄蓓,王玉艳.
交换控制电路功能验证平台设计[J]
.计算机工程,2006,32(16):250-252.
9
田亚明,鲍敏,李乾坤.
CAE仿真技术在冰箱翻转梁优化设计中的应用[J]
.日用电器,2017(2):30-32.
被引量:3
10
陈建国.
抗毁地域综合通信网络拓扑规划算法研究[J]
.军事通信技术,2005,26(2):10-13.
被引量:1
计算机与信息技术
2006年 第4期
职称评审材料打包下载
相关作者
内容加载中请稍等...
相关机构
内容加载中请稍等...
相关主题
内容加载中请稍等...
浏览历史
内容加载中请稍等...
;
用户登录
登录
IP登录
使用帮助
返回顶部