Tessent shell atpg流程



Tessent shell atpg流程

1) 指定netlist中已插入的edt logic
   set_edt_instances -edt_logic_top
   set_edt_instances -decompressor
   set_edt_instances -compactor

2) 指定已插入的scan chain
   add_scan_groups  groups名 "test procedure文件名"
   一般情况下，add_scan_groups和add_scan_chains 配合使用。如：
   add_scan_groups   grp1  ./testproc/chip.testproc
   add_scan_chains -internal 1 grps  a_in_reg[0]  a_out_reg[0]
   add_scan_chains -internal 2 grps  a_in_reg[1]  a_out_reg[1]

3) test procedure说明

   参见tessent shell user's manual的chapter 6 Test Procedure File
   在test procedure中首先要指定time scale单位，不指定则默认为1ns。timeplate中单位以time scale单位作为基本单位，所以必须为整数。
   test procedure必须包含shift, load_unload, timeplate. 而test_setup为可选。
   test_setup: 仅可使用force，pulse，init和expect evnet 等statement.
用于为一些non-scan

参考资料:

1. tessent shell user's manual
   安装路径下 doc/pdfdocs/tshell_user.pdf
2. tessent shell reference manual
   安装路径下 doc/pdfdocs/tshell_ref.pdf