Conflict-driven Structural Learning Towards Higher Coverage Rate in ATPG

Hui-Ling Zhen, Naixing Wang, Junhua Huang +3

Due to the increasing challenges posed by the relentless rise in the design complexity of integrated circuits, Boolean Satisfiability (SAT) has emerged as a robust alternative to s…