A fast test compaction method using dedicated Pure MaxSAT solver embedded in DFT flow

Zhiteng Chao, Xindi Zhang, Junying Huang, Zizhen Liu, Yixuan Zhao, Jing Ye 0001, Shaowei Cai 0001, Huawei Li 0001, Xiaowei Li 0001. A fast test compaction method using dedicated Pure MaxSAT solver embedded in DFT flow. Integration, 100:102265, 2025. [doi]

Authors

Zhiteng Chao

This author has not been identified. Look up 'Zhiteng Chao' in Google

Xindi Zhang

This author has not been identified. Look up 'Xindi Zhang' in Google

Junying Huang

This author has not been identified. Look up 'Junying Huang' in Google

Zizhen Liu

This author has not been identified. Look up 'Zizhen Liu' in Google

Yixuan Zhao

This author has not been identified. Look up 'Yixuan Zhao' in Google

Jing Ye 0001

This author has not been identified. Look up 'Jing Ye 0001' in Google

Shaowei Cai 0001

This author has not been identified. Look up 'Shaowei Cai 0001' in Google

Huawei Li 0001

This author has not been identified. Look up 'Huawei Li 0001' in Google

Xiaowei Li 0001

This author has not been identified. Look up 'Xiaowei Li 0001' in Google