Junying Huang

Latest

• 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