Consistency and observability invariance in multi-level logic synthesis.

Patrick C. McGeer, Robert K. Brayton

Browse the full ICCAD paper archive.