The Use of Model Checking in ATPG for Sequential Circuits.

Paolo Camurati, Marco Gilli, Paolo Prinetto, Matteo Sonza Reorda

Browse the full CAV paper archive.