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
Conference paper
Publication
NaN
Conf