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

January 2024

Type

Publication

ASP-DAC

Conf