A Fast Test Compaction Method for Commercial DFT Flow Using Dedicated Pure-MaxSAT Solver.

Zhiteng Chao, Xindi Zhang, Junying Huang, Jing Ye, Shaowei Cai, Huawei Li, Xiaowei Li

Browse the full ASPDAC paper archive.