The logic automation approach to accurate and efficient gate and functional level simulation.

Michel Heydemann, Daniel Dure

Browse the full ICCAD paper archive.