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

Verification Environment of IEEE 1394 Chip Based on E

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

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.