Recording Synthesis History for Sequential Verification.

Alan Mishchenko, Robert K. Brayton

Browse the full FMCAD paper archive.