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, Shaowei Cai, Huawei Li, Xiaowei Li
January 2025
PDF DOI
Type
Conference paper
Publication
Integration, the VLSI Journal
Conf