A Fast Test Compaction Method for Commercial DFT Flow Using Dedicated Pure-MaxSAT Solver.
Zhiteng ChaoXindi ZhangJunying HuangJing YeShaowei CaiHuawei LiXiaowei LiPublished in: ASPDAC (2024)
Keyphrases
- detection method
- test data
- clustering method
- preprocessing
- synthetic data
- prior knowledge
- combinatorial optimization
- support vector machine svm
- high accuracy
- computational cost
- high precision
- classification method
- frequency domain
- edge detection
- neural network
- experimental evaluation
- cost function
- pairwise
- lower bound
- computational complexity
- objective function
- similarity measure
- image processing