Parameter File Keword

使用ATPG生成测试向量时,可能使用到的参数。

1.SIM_DELAT_SCAN_RELEASE

在parallel test bench中,通过指定整数以延迟scan release。指定整数的单位于timescale单位相同,如果有多个链,每个release延迟指定整数数量。该关键字不支持serial test benches或SSN设计。

默认,parallel test bench使用shift procedure中的timing来产生force、release、和shift clock events,release发生在shift procedure的结尾。因为parallel test bench在device边界进行force时钟事件,但是force和release事件发生在cell边界,时钟传播延迟能够导致时钟边沿到达晚于release。SIM_DELAY_SCAN_RELEASE不会再shift procedure中添加额外的delay,二是在shift procedure的结尾触发的事件中添加一个delay,会使release被延迟但是不会延迟任何其他事件。在仿真期间,对于SIM_DELAY_SCAN_RELEASE,release事件仍然后会发生在shift procedure的结尾,但是实际上“release” statement在触发事件后被延迟指定量。

2.SIM_STRETCH_SCAN_RELEASE

在parallel Verilog test bench中,通过扩展shift cycle的结尾来延迟release scan event。

指定的整数的单位于timescale单位相同,如果有多条链,每个release scan event被延迟指定整数。

注意:SIM_STRETCH_SCAN_RELEASE是更优的方式来延迟scan release event。因为通过扩展shift period比延迟release到下一个shift cycle,并且past events发生在下一个shift cycle更安全。

可以一起指定SIN_DELAY_SCAN_RELEASE和SIM_STRETCH_SCAN_RELAESE,因为这两个关键字使用不同的机制来研制scan release event,如果同时使用SIM_STRETCH_SCAN_RELEASE会覆盖SIM_DELAY_SCAN_RELAESE。
Parameter File Keword_第1张图片

3.SIM_DIAG_FILE {2 | 1 |0 }

在test bench中控制failure文件的生成。

对于为压缩的ATPG,该关键词可用于serial和paralle Verilog test benches。对于压缩的ATPG,该关键词只用于serilal Verilog test benches,而对parallel test bench没有影响。

在“patterns -scan” context下,默认设为1,其他的contexts下,默认为0,该参数的options如此:

  • 0——test bench中不包括生成failure file的Verilog编码。
  • 1——test bench中包括生成failure file的Verilog编码,但是不能自动生成文件,为了激活生成failure file,必须编辑test bench,设置“_write_DIAG_file"参数为1.
  • 2——test bench中包括生成failure file的Verilog编码,可以通过在test bench中将”_write_DIAG_file“参数设为0来禁止生成failure file。

4.SIM_POST_SHIFT

指定仿真期间使用的独立post shifts的绝对数量。如果load_unload procedure已经有一个post shift,设置该关键字为”2“时,会产生2个post shifts被使用而不是3个。

如果指定了一个负值或0,工具忽略该关键字,如果指定的数字大于总的shifts的数量,工具设置post shifs的数量为总的shifts数量减1.

可以使用该关键字来生成paralle simulation test bench,应用伴随N个serial shift cycles的parallel load。当在”patterns -scan” context 下使用时,通过在设计的scan引脚上force scan-in值来应用SIM_POST_SHIFT serial shift cycles。也可以使用该关键字生成EDT paralle simulation test bench,在这种情况下,在EDT internal scan chains上执行serilal shifts,test bench在decompressor驱动的scan ports上force值。

5.SIM_PRE_SHIFT

在仿真期间,指定独立pre shifts的绝对数量到load_unload procedure中。
Parameter File Keword_第2张图片

你可能感兴趣的:(ATPG,DFT,仿真参数)