Simulation-based bug trace minimization with BMC-based refinement.

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

Browse the full ICCAD paper archive.