期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
断言验证技术在VERA中的应用与研究
被引量:
1
下载PDF
职称材料
导出
摘要
本文首先介绍断言验证技术,对断言的特点及使用方法进行详细介绍,然后讲解OVA的语法结构,以及如何在测试平台中加入断言文件,并以交通灯为例,进行断言分析。
作者
慕长林
机构地区
重庆邮电大学
出处
《科技资讯》
2009年第1期20-20,共1页
Science & Technology Information
关键词
断言
VERA
SOC
OVA
分类号
TP3 [自动化与计算机技术—计算机科学与技术]
引文网络
相关文献
节点文献
二级参考文献
0
参考文献
3
共引文献
0
同被引文献
13
引证文献
1
二级引证文献
3
参考文献
3
1
.OpenVera Language Reference Manual:Assertion[]..
2
.OpenVera Language Reference Manual:Testbench[]..
3
.Rerence Verification Methodology User Guide[]..
同被引文献
13
1
杨弢,罗春,杨军.
基于矢量随机生成和断言的LCD控制器的验证[J]
.电子工程师,2006,32(3):4-6.
被引量:1
2
刘有耀,韩俊刚.
属性说明语言在基于断言的硬件验证中的应用[J]
.微电子学与计算机,2006,23(5):109-111.
被引量:4
3
徐盛,章玮,金钊.
基于断言的验证方法在总线协议验证中的应用[J]
.电子设计应用,2006(11):88-90.
被引量:10
4
马博,韩俊刚.
采用PSL的基于断言的验证[J]
.计算机工程,2007,33(2):217-219.
被引量:3
5
刘晓,杨军.
基于断言的SRAM控制器功能验证[J]
.电子工程师,2007,33(2):18-20.
被引量:4
6
徐中伟,李海波.
面向断言的测试数据生成方法及其应用[J]
.同济大学学报(自然科学版),2007,35(5):659-663.
被引量:1
7
丁婷婷,申敏.
分层式验证平台及覆盖率技术在SOC上的应用[J]
.北京电子科技学院学报,2007,15(2):55-57.
被引量:4
8
VUAYARAGHAVAN Srikanth,RAMANATHAN Meyyappan.System Verilog Assertions应用指南[M].陈俊杰,译.北京:清华大学出版社,2006.
9
FOSTER Harry,KROLNIK A,LACEY D.Assertion based design[M].2nd ed.New York:Kluwer Academic Publishers,2004.
10
刘有耀,韩俊刚.
基于事务断言验证及SDH芯片验证平台[J]
.微计算机信息,2007(05Z):310-312.
被引量:1
引证文献
1
1
查欣.
基于断言语言SVA的设计验证方法[J]
.现代电子技术,2010,33(10):5-7.
被引量:3
二级引证文献
3
1
张挺,陈岚,冯燕.
基于断言的WISHBONE到AHB转换桥验证[J]
.微电子学与计算机,2012,29(6):150-152.
被引量:1
2
李森森,张立朝,徐金甫.
一种基于断言的高效验证实现方法[J]
.微电子学与计算机,2014,31(4):128-131.
被引量:1
3
郭涛,张修钦,左丰国,罗军,张晓晨.
SOC系统级验证平台的研究[J]
.中国集成电路,2018,27(8):39-42.
被引量:3
1
杜宁,吴国增.
基于断言的硬件功能验证技术[J]
.电子测试,2007,18(10):51-53.
2
王锦山,王恒军,赵立.
一种基于VERA的验证大规模芯片的方法[J]
.半导体行业,2006(3):28-32.
被引量:1
3
Windchill助力Vera Bradley实现协同研发[J]
.CAD/CAM与制造业信息化,2010(7):5-5.
4
Joyce.
必然的幸运儿[J]
.中华手工,2011(1):22-25.
5
丁欣.
“VeraWang”公司推出豪华寝用新品[J]
.纺织装饰科技,2008(4):25-25.
6
陈莹,樊晓桠.
一种基于Open Vera实现的L2 cache验证平台[J]
.微电子学与计算机,2008,25(11):216-218.
7
德国M.O.S.S.计算机公司新近开发出两种新一代的软件[J]
.测绘科技动态,1994,55(1):45-46.
8
早餐也是种享受 Vera电水壹[J]
.数码,2009(10):163-163.
9
Emma.
VERA VIEDERMANN:践行对社会自然的责任[J]
.设计,2012,25(3):158-159.
10
欧娜.
喧嚣之外[J]
.中国服饰,2017,0(4):52-53.
被引量:1
科技资讯
2009年 第1期
职称评审材料打包下载
相关作者
内容加载中请稍等...
相关机构
内容加载中请稍等...
相关主题
内容加载中请稍等...
浏览历史
内容加载中请稍等...
;
用户登录
登录
IP登录
使用帮助
返回顶部