perl生成遍历文件和modelsim覆盖率检测方法.docVIP

1 用Perl语言编程生成不同工作模式的测试文件 Perl是一种通用且应用广泛的脚本语言，可以不需要编译而直接解释运行，可移植能力强，兼有多种语言的精华和特性，效率也比较高，基于这些方面的优越性，其在实际的IC设计和验证中得到了广泛的应用。 Perl的安装 在Linux系统下和大部分的UNIX系统下，perl都是随系统安装的，Windows需要下载安装perl，推荐使用ActivePerl，下载安装后可已在命令行输入 perl –v 来查看是否正确安装和perl的版本（见图1.1），通过perl xxx.pl 来解释运行perl程序。 图 1.1 perl版本查看 test_enc.vhd文件中69-75行的作用是通过设置4个变量pat_code、pat_disturb、pat_mix 和pat_frame的值来指定一种工作模式，根据它们的取值范围可以得出总共会有8*4*4*16=2048种组合，对应2048种工作模式。Perl语言有别于其他语言的特性中，最重要的就是对正则表达式的支持，可以方便快捷的处理字符串相关的问题，因此可以利用这种特性，通过查找变量字符串和替换指令（s///）进行对测试文件变量值的更改，产生不同工作模式的激励。 s///:替换运算符。s/searchattern/replacement/ 表示查找searchattrn并用replacement代替。 利用4层for循环编写perl程序，每次循环查找一个变量并改变变量的值，然后输出一个文件名与变量值相关的vhd文件（例如4个变量值分别为“011”、“11”、“01”、“1111”时文件名可以设为test_3_3_1_15.vhd。需要注意的是，变量的值是一定位的二进制数，循环变量则默认为十进制数，所以要进行十进制与二进制数的转换，并在高位为0时也要显示出来。 新建一个txt文件，并输入程序，保存文件名为test_gen并修改后缀为.pl，生成test_gen.pl文件，打开命令行，跳转到文件所在目录，输入：perl test_gen.pl，按回车键解释运行便会得到2048个vhd文件，对应不同的工作模式，而且参数的选值与各个文件的名字相关，方便进行选取和测试。下图为得到的test_3_3_1_15.vhd中4个变量的值，可以看出与预期的结果一致。 图1.2 程序运行结果 2 modolsim的覆盖率检测步骤和说明 Modelsim仿真工具是Model公司开发的，它支持Verilog、VHDL以及他们的混合仿真比quartus自带的仿真器功能强大的多，是目前业界最通用的仿真器之一。 在用ModelSim做硬件设计验证的时候，用ModelSim自带的Code Coverage功能，功能能报告出statement（语句）、branch（分支）、condition（条件）、?expression（表达式）、toggle（信号反转）、fsm（有限状态机）等多种覆盖率情况，进一步提高了测试的完整性。本简要介绍ModelSim?CodeCoverage的使用方法icense文件和设定环境变量。 2.新建工程，添加文件 点击File-new-project，在弹出的对话框中输入工程名，并选择工程目录。 点击“OK”后弹出添加文件的窗口 选择“Add Existing Flie”把vhd_0601中的所有vhd文件添加到工程。 3.设定覆盖率选项 选中所有文件，右击选择properties选项出现Project compiler settings的窗口 点击Coverage选项卡，选择项使能语句、分支、条件、表达式覆盖率的选项，如图示。 4.编译，仿真 点击compile all的按钮编译，无错误后切换到library选项，选择work库，右击要测试文件，选择Simulate with Coverage，在右侧会出现Statement，Branch，Condition，Expression等选项卡，会把各个vhd文件的语句按照功能进行分类。 选中左侧的sim选项卡，右击实体test_enc-add-to wave-all items in region完成添加波形后运行1ms。 可以得到1ms以内的仿真波形图 5.查看和保存覆盖率信息 最大化左侧sim选项卡，可以查看该文件的覆盖率信息 右键-Code Coverage-Code Coverage Report可以用TXT形式导出此次覆盖率测试的报告。 说明： Stmts是语句覆盖，表示测试程序运行后，程序中运行可执行语句的比率； Branches是分支覆盖，表示测试程序运行后，程序中所有判断语句的取真分支和取假分支被执行的比率； Conditions是条件覆盖，表示测试程序运行后，所有判断语句中的每个条件的可能取