Extraction of finite state machines from transistor netlists by symbolic simulation.

Manish Pandey, Alok Jain, Randal E. Bryant, Derek L. Beatty, Gary York, Samir Jain

Browse the full ICCD paper archive.