Extraction of Gate Level Models from Transistor Circuits by Four-Valued Symbolic Analysis.

Randal E. Bryant

Browse the full ICCAD paper archive.