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]
Abstract is missing.