验证自动化

1.验证目录结构的建立

要实现验证自动化，首先要建立一个科学的验证目录，这是实现验证自动化的基础，具体目录如下图所示：

 

图1验证目录结构图
如上图所示Verification为一个总目录，其下包含九个子目录，regress目录用于存放回归验证所产生的日志，其中包含一个regression．log文件，其主要内容为显示每条testcase通过与否；coverage目录用于存放代码覆盖率文件；log目录用于存放每条case产生的日志；run目录中存放run脚本，包括运行每一条case的脚本run和运行回归验证的脚本run_regression ；testbench目录用于存testbench．v文件 ;testcase目录用于存放验证环境中的所有测试用例，每条case均以独立的．v文件形式存放，如tc001．v,tc002;wave目录中存放每条case生成的波形文件。

 

2.各个目录中相关日志文件的生成

 

  2.1 1对于单条testcase的曰志生成

目录结构搭建好之后，便可以开始脚本的编写，首先是进行run脚本的编写。运行每条case都需要运行这样一个脚本。每条case运行完后会产生一些日志文件，以及一个波形文件，这些信息应该根据不同的case有区分的放在log文件夹以及wave文件夹中，下面以VCS编译器为例给出一个脚本片段：