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编译器为例给出一个脚本片段: