期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
“e”语言 一种新的高级数字系统验证语言
被引量:
1
下载PDF
职称材料
导出
摘要
近二十年来,数字设计自动化环境随着设计复杂程度的提高经历了许多个发展阶段。近年来先后出现了"SystemVerilog"、"SystemC"、"e"等语言和行为综合器,它们把高度复杂 SOC 数字系统设计的验证和综合的自动化程度又大大提升了一步。本文综述了这几种高级硬件设计仿真语言,着重介绍"e"语言在验证通信用 SOC 芯片模型性能时的高效率。
作者
夏宇闻
周文
机构地区
北京航空航天大学
出处
《中国集成电路》
2003年第53期41-47,31,共8页
China lntegrated Circuit
关键词
“e”语言
集成电路设计
数字系统验证语言
数字设计自动化
SOC
通信芯片
分类号
TN407 [电子电信—微电子学与固体电子学]
引文网络
相关文献
节点文献
二级参考文献
0
参考文献
0
共引文献
0
同被引文献
7
引证文献
1
二级引证文献
0
同被引文献
7
1
葛晨阳,王东,孙宏滨,张超,张斌.
一种可重构的数字视频处理SoC芯片验证平台[J]
.微电子学与计算机,2009,26(2):62-65.
被引量:5
2
Samir Palnitkar. Design verification with e[M]. Bos- ton: Prentice Hall PTR, 2003.
3
Victor Berman. The e system verification language [J]. IEEE Design & Test of Computers, 2005,22(5) : 484-486.
4
吴国锋.基于SpecmanElite的自动功能验证平台[D].西安:西安电子科技大学,2010.
5
Andreas S Meyer. Principles of functional verification [M]. hoiland: elsevier Science, 2004,32-36.
6
韦乐平.光同步数字传送网[M].北京:人民邮电出版社,1998.106-125.
7
虞致国,魏敬和.
基于JTAG的SoC软硬件协同验证平台设计[J]
.微电子学与计算机,2010,27(10):160-162.
被引量:4
引证文献
1
1
张妮娜,王万财,窦衡.
一种基于E语言的芯片验证平台优化方法[J]
.微电子学与计算机,2012,29(4):94-96.
1
张妮娜,王万财,窦衡.
一种基于E语言的芯片验证平台优化方法[J]
.微电子学与计算机,2012,29(4):94-96.
2
汤宗林.
配电网自动化无线通信中数据传输过程与协议分析[J]
.科技创业家,2013(10).
3
吴向宇,李建成,王飞雪.
基于E语言和C参考模型的IP功能验证方案[J]
.微计算机信息,2007,23(04X):202-203.
被引量:1
4
张保宁,罗春,钟锐.
基于E语言和OVL库的功能验证方案[J]
.今日电子,2004(12):77-80.
被引量:1
5
罗茜.
基于E语言的数字电视DVB-H系统数据链路层功能验证研究[J]
.现代电子技术,2008,31(11):69-72.
6
鲁宜彬,张钦宇.
基于E语言的HSDPA协处理器的功能验证[J]
.微计算机信息,2008,24(27):197-198.
7
于叶.
E语言在有线电视合同档案信息管理系统中的应用[J]
.中国有线电视,2005(17):1732-1734.
8
须自明,刘战,王国章,于宗光.
各种验证技术在SoC设计中的应用[J]
.微计算机信息,2006(01Z):120-121.
被引量:12
9
杨小丽.
基于OVM的可重用自动化验证平台[J]
.西安航空学院学报,2016,34(5):60-64.
10
石海.
SLAM仿真语言在电子对抗作战模拟中的应用[J]
.电子对抗,1990(1):56-58.
中国集成电路
2003年 第53期
职称评审材料打包下载
相关作者
内容加载中请稍等...
相关机构
内容加载中请稍等...
相关主题
内容加载中请稍等...
浏览历史
内容加载中请稍等...
;
用户登录
登录
IP登录
使用帮助
返回顶部