Xiaowei Li

最新

• A fast test compaction method using dedicated Pure MaxSAT solver embedded in DFT flow
• A Fast Test Compaction Method for Commercial DFT Flow Using Dedicated Pure-MaxSAT Solver