Fixing Design Errors with Counterexamples and Resynthesis.

Kai-Hui Chang, Igor L. Markov, Valeria Bertacco

Browse the full ASPDAC paper archive.