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

一月 2024

类型

出版物

NaN

Conf