执行仿真命令格式:./simv [run_time_option] (simv为可执行文件) 常用编译选项(更详细参考VCS 编译选项 - 知乎 (zhihu.com)): +neg_tchk:使能时序检查中的负延时 +notimingcheck:不进行时序检查 +sdf_nocheck_celltype:SDF反标时不检查SDF文件中的celltype的一致性 +v2k:支持Verilog-2001标准 -f <filename...
反标SDF文件有两种方法,一种作为elaboration的选项指定,另一种是在bench中调用系统函数$sdf_annotate来完成。 作为elaboration的选项 -sdfmin|typ|max:instance_name:file.sdf 如vcs-sdf min:top.i_test.:test.sdf 使用系统函数$sdf_annotate $sdf_annotate (“sdf_file”[, module_instance] [,“sdf_configfile...
问题一:SDF文件与仿真网表不匹配。 解决方案:确保SDF文件是针对当前仿真网表生成的,且网表中的模块实例名称与SDF文件中的名称一致。 问题二:仿真时出现SDF反标警告或错误。 解决方案:检查SDF文件的格式和内容是否正确,以及仿真命令行中的SDF反标选项是否正确。如果可能,使用SDF预编译功能来提高仿真效率。 问题三:仿真...
+neg_tchk:若要使用负延时检查,在编译后仿时必须包含+neg_tchk选项。如果省略此选项,VCS将所有负延迟更改为0。 -negdelay:用于SDF文件中有负延迟,如果省略此选项,VCS将所有负延迟更改为0。 sdf_annotate反标 使用$sdf_annotate将SDF文件反标到网表中: $sdf_annotate("sdf_file"[,module_instance][,"sdf_confi...
后仿选项 后仿不需要的选项 带时序的后仿,一定要注意仿真器是否关闭了notimingcheck和nospecify的选项。 如果有-nospecify,那么SDF中的时序信息就反标不到仿真模型中; 如果有-notimingcheck,那么后仿过程中就不检查时序违例,后仿就失去了意义。 后仿添加选项 ...
后仿用的时序信息通常包括延迟信息、时序检查时间,一般都用标准的SDF(standarddelayformat)格式的...要注意仿真器是否关闭了notimingcheck和nospecify的选项。如果有nospecify,那么SDF中的时序信息就反标不到仿真模型中(仿真模型的时序类型定义在specify block中 ...
+csdf+precompile 在VCS编译源代码时预先SDF文件 +define+<macro_name>=<value> 定义一个文本宏,与源文件中的`ifdef配合 +error+<n> 将编译时运行的NTB错误增加到N +incdir+<directory> 指定VCS搜索`include指令使用的包含文件的目录,可以用“+”定义多个目录。 +maxdelays 使用SDF文件中的max值 +mindelays ...
在PR未结束,sdf反标文件还没准备好时,可用该选项忽略延时,可用于功能性的粗略检查。但真正跑后仿真时,不可使用该选项,否则仿真有效性大大降低。 覆盖率 覆盖率收集 在编译代码的时候加上这些覆盖率选项 -cm line+cond+fsm+tgl+branch // -cm:指定使能覆盖率的类型,包括:line、cond、fsm、tgl、path、branch和...
反标SDF⽂件有两种⽅法，⼀种作为elaboration的选项指定，另⼀种是在bench中调⽤系统函数$sdf_annotate来完成。作为elaboration的选项 -sdfmin|typ|max:instance_name:file.sdf 如vcs-sdf min:top.i_test.:test.sdf 使⽤系统函数$sdf_annotate $sdf_annotate (“sdf_file”[, module_instance] [,“...
图3 sdf文件示例(部分) 图4 网表形式的verilog文件(部分) 由上图我们可以看到网表形式的verilog文件,由门电路和触发器例化组成。 三、网表仿真 下面进行网表仿真 图5 makefile更改 上图中,我们把入门教程(三)中的makefile模板添加了一个开关选项,由于网表.v文件是由工艺库单元例化的,工艺库中给出了一个veri...