《可测性设计及DFT软件的使用》由会员分享，可在线阅读，更多相关《可测性设计及DFT软件的使用（49页珍藏版）》请在金锄头文库上搜索。
1、可测性设计及DFT 软件的使用张艳 2007-11-520007-11-51共49页OutlinevDFT基础vDFTCompile生成扫描链vTetraMAX生成ATPGv设计实例20007-11-52共49页DFT基础v测试vDFTv故障模型vATPGvDFT常用方法20007-11-53共49页测试(1-3)CMO S 反相 器 中的 物 理缺 陷20007-11-54共49页测试(2-3)目前 的 产品 测 试方 法20007-11-55共49页测试(3-3)AT E20007-11-56共49页DFT基础v测试vDFTv故障模型vATPGvDFT常用方法20007-11-57共49页
2、DFT(Design For Test)controllabilityobservability20007-11-58共49页DFT基础v测试vDFTv故障模型vATPGvDFT常用方法20007-11-59共49页故障模型物理故障逻辑故障封装引脚间的漏电或短路 单一固定故障 芯片焊接点到管脚连线断裂延时故障 表面玷污、含湿气静态电流故障 金属层迁移、应力、脱皮 金属层开路、短路 20007-11-510共49页单一固定故障20007-11-511共49页等价故障(1/3)20007-11-512共49页等价故障(2/3)20007-11-513共49页等价故障(3/3)NAND的输入SA0和
3、输出的SA1效果等效A SA0,B SA0,Y SA1是一个等效故障集20007-11-514共49页故障压缩20007-11-515共49页不可测故障20007-11-516共49页DFT基础v测试vDFTv故障模型vATPGvDFT常用方法20007-11-517共49页ATPGATPG Automatic Test Pattern GeneratorD算法PODEM(Goel)FAN(Fujiwara和Shimono)高级算法 20007-11-518共49页D算法20007-11-519共49页D算法-activate the SA0 fault20007-11-520共49页D算法-
4、propagate fault effect20007-11-521共49页D算法-anatomy of a test pattern20007-11-522共49页D算法-record the test pattern20007-11-523共49页DFT基础v测试vDFTv故障模型vATPGvDFT常用方法20007-11-524共49页DFT常用方法v功能点测试 需在每个测试点增加可控的输入和输出，I/O增加v扫描测试 结构化的DFT技术，全扫描和部分扫描v内建自测试 消除了对ATE的存储能力和频率的限制，更具发展潜力20007-11-525共49页扫描测试(1/2)20007-11-5
5、26共49页扫描测试(2/2)20007-11-527共49页OutlinevDFT基础vDFTCompile生成扫描链vTetraMAX生成ATPGv设计实例20007-11-528共49页设 计 流 程20007-11-529共49页普通 D触 发器20007-11-530共49页Test-Ready Compilationset_scan_configuration -style multiplexed_flip_flop -clock_mixing no_mix -chain_count 1 set_dft_signal -view existing_dft -type ScanClo
6、ck -port clk -timing 1 8.5 set_dft_signal -view existing_dft -type Reset -port rst_n - active_state 0 set_dft_signal -view spec -type ScanEnable -port se -active_state 1 set_dft_signal -view spec -type ScanDataIn -port a set_dft_signal -view existing_dft -type ScanDataOut -port o20007-11-531共49页Test
7、 DRCcheck_scan or check_test 这两个命令检查以下四类可测性问题：v模型问题，诸如是否缺少相应的扫描单元；v拓扑结构问题，例如是否存在不受时钟控制的组 合逻辑反馈回路；v确定测试协议，如找出测试时钟端口，找出测试 模式下固定电平的测试状态端口；v测试协议仿真，检查扫描过程是否可以正确的进 行。 20007-11-532共49页Preview Scan Architecturepreview_scan show allv预览将要生成的扫描链的大致情况，及时发 现不合乎要求的地方。 20007-11-533共49页Scan Insertioninsert_scanv使扫描
8、触发器串链，建立和排序扫描链，同 时进行优化以去除违反的DRC规则。20007-11-534共49页扫描 触发 器20007-11-535共49页Reportreport_constraint -all_violators report_scan_path -view existing_dft -chain report_scan_path -view existing_dft -cell estimate_test_coverage20007-11-536共49页Export to TetraMAXwrite_test_protocol -output ./report/add.spf wr
9、ite -f verilog -hie -output ./report/add.v20007-11-537共49页OutlinevDFT基础vDFTCompile生成扫描链vTetraMAX生成ATPGv设计实例20007-11-538共49页设 计 流 程20007-11-539共49页Read the NetlistBUILD read netlist mydesign.vv读入DFTC转交给TetraMAX的网表文件。 20007-11-540共49页Read Library ModelsBUILD read netlist library /simic18.vv必须读入所有和你的设计
10、相关的verilog库模 型，此库文件由工艺厂商提供。20007-11-541共49页Build the ModelBUILD run build_model top_module 20007-11-542共49页Performing DRCBUILD run drc mydesign.spf v测试协议文件的DRC检查20007-11-543共49页Preparing for ATPGTEST add faults -all v初始化故障列表以产生一份新的在ATPG设 计模型中包含所有可能的故障点的故障列表 20007-11-544共49页Run ATPGTEST run atpg rand
11、om v默认情况下，TetraMAX先执行Basic-Scan ATPG，接着是Sequential ATPG，最后是 Full-Sequential ATPG 20007-11-545共49页Review Test CoverageTEST report summaries TEST report patterns summaryv查看测试覆盖率和产生的矢量的数目，若测 试覆盖率很低，则需要重新进行ATPG测试 矢量生成，直到得到满意的测试覆盖率。 20007-11-546共49页Compress Test PatternsTEST run pattern_compress 99 v99指示按不同的顺序进行99次故障仿真20007-11-547共49页Save Test PatternTEST write patterns patterns.stil -format stil TEST write faults faults.AU -class au v.stil文件与.spf文件的格式一样，都是采用 stil语言描述，所不同的是增加了pattern部 分，给出了各个测试pattern的具体细节。20007-11-548共49页OutlinevDFT基础vDFTCompile生成扫描链vTetraMAX生成ATPGv设计实例20007-11-549共49页
