[1]王宣明 田泽 韩炜.基于E语言的IEEE1394协议芯片验证环境搭建[J].计算机技术与发展,2011,(07):36-38.
WANG Xuan-ming,TIAN Ze,HAN Wei.Verification Environment of IEEE 1394 Chip Based on E[J].,2011,(07):36-38.
点击复制
基于E语言的IEEE1394协议芯片验证环境搭建(
)
《计算机技术与发展》[ISSN:1006-6977/CN:61-1281/TN]
- 卷:
-
- 期数:
-
2011年07期
- 页码:
-
36-38
- 栏目:
-
智能、算法、系统工程
- 出版日期:
-
1900-01-01
文章信息/Info
- Title:
-
Verification Environment of IEEE 1394 Chip Based on E
- 文章编号:
-
1673-629X（2011）07-0036-03
- 作者:
-
王宣明 田泽 韩炜
-
中国航空计算技术研究所
- Author(s):
-
WANG Xuan-ming; TIAN Ze; HAN Wei
-
Aeronautics Computing Technique Research Institute
-
- 关键词:
-
验证环境; E语言; 重用性; 组件化
- Keywords:
-
verification environment; E language; reusability; componentization
- 分类号:
-
TP39
- 文献标志码:
-
A
- 摘要:
-
随着当前IC设计规模的空前增长,功能验证变成了设计过程中的主要瓶颈。验证方法已经从简单的采用基于HDL任务的方法发展到了一种完整的验证自动化系统。首先研究E语言以面向对象和面向方面的方式,建立这种验证自动化系统所有结构的原理。然后以IEEE 1394协议IP验证项目为例,提出一种搭建组件化、可重用验证平台的方法。最后介绍如何编写项目所采用的受约束的随机测试向量。实践结果表明,采用此方法可极大提高验证效率,缩短了整个设计的验证周期
- Abstract:
-
With the rapid growth of the scale of integrated circuit,functional verification has become the main bottleneck in the design process.Verification methodologies have evolved over the years from a simple HDL task-based methodology to a complete verification automation system.E provides all constructs needed to build an integrated verification automation system in an object oriented manner and an aspect oriented manner.Propose a kind of methodology of building componentized and reusable verification environment based on E language,with an example of IEEE 1394 IP.Also introduce how test vectors were generated based on constraints.This kind of methodology was proved to be very useful to improve verification efficiency
备注/Memo
- 备注/Memo:
-
“十二五”航空微电子预研项目（513080106）王宣明（1983-），男，硕士，助理工程师，主要从事数字集成电路设计和验证等方面的研究；田泽，博士，研究员，研究方向为SoC设计、VLSI设计、嵌入式系统开发和应用
更新日期/Last Update:
1900-01-01