CONCAT: CONflict Driven Learning in ATPG for Industrial designs.

Surendra Bommu, Kameshwar Chandrasekar, Rahul Kundu, Sanjay Sengupta

Browse the full ITC paper archive.