Symbolic functional and timing verification of transistor-level circuits.

Clayton B. McDonald, Randal E. Bryant

Browse the full ICCAD paper archive.