Scalable and scalably-verifiable sequential synthesis.

Alan Mishchenko, Michael L. Case, Robert K. Brayton, Stephen Jang

Browse the full ICCAD paper archive.