期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
搭建基于E语言参考模型的验证平台
下载PDF
职称材料
导出
摘要
随着设计规模的不断扩大,传统的验证方法已经难以驾奴。本文通过与传统验证结构的比较,提出了一种以E语言构建参照模型,借助SPECMAN搭建验证平台的方法。本平台已在大规模传输通信芯片上成功使用,结果达到我们预期的目标:随机产生激励;自动检测;验证平台的可重用性。
作者
屈玉峰
郭亮
冯根宝
机构地区
上海贝尔阿尔卡特股份有限公司
出处
《中国集成电路》
2005年第9期50-52,共3页
China lntegrated Circuit
关键词
验证平台
参考模型
语言
建基
设计规模
验证方法
参照模型
通信芯片
自动检测
分类号
TN402 [电子电信—微电子学与固体电子学]
引文网络
相关文献
节点文献
二级参考文献
0
参考文献
5
共引文献
1
同被引文献
0
引证文献
0
二级引证文献
0
参考文献
5
1
[1]Writing Testbenches Functional Verification of HDL Models.Janick Bergeron 2000
2
[2]Synopsis Vera,Home page,http:∥www.synopsis.com/products/vera/vera.html
3
[3]Verisity Specman Elite,Home page,http:∥www.verisity.com/products/specman.html
4
[4]Synopsys Seminar Series 2003 providing solutions for leading-edge designs.2003
5
[3]韦乐平.光同步数字传送网.人民邮电出版社,1998年12月
共引文献
1
1
王镭,张雯.
试论SDH环形网中误码指标的分配[J]
.山东通信技术,2004,24(1):1-4.
1
刘斌.
网络综合布线与传统布线技术比较分析与应用[J]
.中国教育技术装备,2013(11):44-45.
被引量:1
2
罗勇,周必水.
一种基于参照模型的联机手写汉字识别方法[J]
.杭州电子工业学院学报,2003,23(3):66-69.
3
严小兵,张毅.
基于Specman的嵌入式软件验证的设计流程[J]
.计算机与现代化,2010(8):182-184.
4
周竞涛,张树生,王明微,孙宏伟.
一种基于语义的协同工作模型[J]
.计算机工程,2005,31(13):24-26.
被引量:4
5
唐云廷,罗勇,周必水.
基于参照模型的联机手写汉字笔划提取及识别[J]
.计算技术与自动化,2002,21(3):84-88.
被引量:2
6
李泽平.
图像质量评估模型的仿真研究[J]
.计算机仿真,2011,28(8):268-271.
被引量:4
7
安建峰,樊晓桠,张盛兵,张山刚.
龙腾C1微处理器的功能验证[J]
.计算机工程与应用,2005,41(24):123-124.
被引量:4
8
李秀杰.
Pro/E技术讲座(六) Pro/E模具设计基础[J]
.橡塑技术与装备,2005,31(3):52-58.
9
李世国,宋娥.
Pro/E环境下通用零件族功能模块的研究与开发[J]
.现代制造工程,2004(11):37-39.
被引量:3
10
余辉,郭立.
一种基于骨架和HMM的姿态描述方法[J]
.通信技术,2012,45(12):91-94.
中国集成电路
2005年 第9期
职称评审材料打包下载
相关作者
内容加载中请稍等...
相关机构
内容加载中请稍等...
相关主题
内容加载中请稍等...
浏览历史
内容加载中请稍等...
;
用户登录
登录
IP登录
使用帮助
返回顶部