TY - RPRT TI - Conflict-driven Structural Learning Towards Higher Coverage Rate in ATPG AU - Hui-Ling Zhen AU - Naixing Wang AU - Junhua Huang AU - Xinyue Huang AU - Mingxuan Yuan AU - Yu Huang PY - 2023 UR - https://arxiv.org/abs/2303.02290 ID - 2303.02290 ER -