关于dft_atpg lab中lib的问题

dft菜鸟求助：论坛上下载的scan&atpg的lab都没有图中红色的DFT library部分，里面是.atpg文件，请问这个文件是干什么用的?好像可以根据Verilog 转换，请问该如何解决?或者哪位大神有相关的文件

掉到第二页了，顶回去

没人做过这个实验吗?