Functional test of small-delay faults using SAT and Craig interpolation.

Matthias Sauer, Stefan Kupferschmid, Alexander Czutro, Ilia Polian, Sudhakar M. Reddy, Bernd Becker

Browse the full ITC paper archive.