基于e语言的验证自动化系统

基于e语言的验证环境

基于e语言的验证环境包括许多组成部分，其基本结构如图3所示。

                                                      图3 基本结构

其中数据对象代表固定格式的测试向量，如数据包、视频中的一帧数据，或CPU的一种指令。激励产生会对数据对象添加一定的约束，随机产生基于约束的激励。输入驱动中包括一个输入程序，负责将数据输入给设计，根据设计的不同，有可能对设计进行重复多次的输入。输出采集中包括一个采集设计输出的程序，并将采集到的数据转换成数据对象定义的形式，然后送到数据检查模块进行检查。数据检查部分产生所需要的数据和存储收集到的数据的程序，并完成数据检查。协议检查通过定义一些时序上的断言来监控设计的协议，如果违反了协议将产生警告或错误提示。覆盖率分析会分析设计中的断言，给出设计的功能覆盖率报告。

Specman提供约束解释器和通信信道来进行e语言的仿真，界面对象(interface object)负责将数据对象驱动给设计的界面，系统对象(system object)包括各种不同的界面对象。界面对象和系统对象根据每个设计来编写，如对CPU进行验证时，根据设计定义输入给CPU的数据对象(指令格式等)，因此验证环境不需要随着设计的改变而改变，所以一个设计的环境是可以重用的。不同的测试激励通过约束数据对象、界面对象、系统对象来产生。验证环境的划分框图如图4所示。

                                              图4 验证环境的划分框图

基于e语言的验证环境的文件层次结构如图5所示，其最顶层文件名字固定为sys，在sys下例化所有的模块。

                                                      图5 文件层次结构

结语

本文介绍了目前国外各大芯片设计公司所采用的最新的验证技术——基于e语言的自动验证系统。采用e语言建立验证环境、编写测试激励，可大大降低芯片验证人员的工作量，提高验证效率。