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. In 1995 International Conference on Computer Design (ICCD 95), VLSI in Computers and Processors, October 2-4, 1995, Austin, TX, USA, Proceedings. pages 596-601, IEEE Computer Society, 1995. [doi]
Abstract is missing.