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
一月 2025
PDF DOI
类型
会议文章
出版物
Integration, the VLSI Journal
Conf