Manish Pandey Alok Jain Randal E. Bryant Derek L. Beatty Gary York Samir Jain Extraction of finite state machines from transistor netlists by symbolic simulation. 596-601 1995 conf/iccd/1995 ICCD http://computer.org/proceedings/iccd/7165/71650596abs.htm db/conf/iccd/iccd1995.html#PandeyJBBYJ95