Multi-level synthesis for safe replaceability.

Carl Pixley, Vigyan Singhal, Adnan Aziz, Robert K. Brayton

Browse the full ICCAD paper archive.