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

摘要：

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

关键词：验证环境、E语言、重用性、组件化

所属期刊栏目：21

分类号：TP39(计算技术、计算机技术)

资助基金："十二五"航空微电子预研项目513080106

在线出版日期：2011-11-11（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：36-38,42