qq_40411444的博客

第二种为 Tessent Cell lib，既可用于功能仿真，也可以用于测试逻辑插入。lib包含了用于仿真的功能信息，也包含DFT cell属性。如何使用tessent工具将stdcell verilog 仿真模型转换为tessent自己的lib。运行后工具会生成一个atpg的lib文件，打开文件，找到一个带SI的DFF，只有功能描述。tessnt lib分为两种，第一种为ATBG lib，可以用于仿真；打开生成的lib文件，多了dft_cell_selection。第二部：编写attributes文件。

posdet_credit是工具分配PD Fault的占比，默认50%，可通过set_possible_credit设置。

工具根据Fault检测方式或者未检测到Fault的原因，把Fault进行分类，Untestable(UT)、Testable(TE)