基于stack-at fault的超大规模数字集成电路自动测试向量生成算法（ATPG）。输入.bench格式，输出测试向量。-Automatic test pattern generation (ATPG) algorithm for VLSI circuits