基于E语言的IEEE1394协议芯片验证环境搭建

• 作者: 王宣明 田泽 韩炜
• 来源期刊: 计算机技术与发展
• 学科: 工学
• 关键词: 验证环境 E语言 重用性 组件化
• 年，卷（期）: 2011,（7）
• 所属期刊栏目: 智能、算法、系统工程
• 页码范围: 36-38,42
• 分类号: TP39
• 字数: 2439字
• 语种: 中文
• DOI: 10.3969/j.issn.1673-629X.2011.07.010

摘要

随着当前IC设计规模的空前增长,功能验证变成了设计过程中的主要瓶颈.验证方法已经从简单的采用基于HDL任务的方法发展到了一种完整的验证自动化系统.首先研究E语言以面向对象和面向方面的方式,建立这种验证自动化系统所有结构的原理.然后以IEEE 1394协议IP验证项目为例,提出一种搭建组件化、可重用验证平台的方法.最后介绍如何编写项目所采用的受约束的随机测试向量.实践结果表明,采用此方法可极大提高验证效率,缩短了整个设计的验证周期.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	田泽		122	777	15.0	20.0
2	韩炜		10	80	6.0	8.0
3	王宣明		7	51	4.0	7.0