Carnegie Mellon University
file.pdf (692.45 kB)
Download file

Extraction of Finite State Machines from Transistor Netlists by Symbolic Simulation

Download (692.45 kB)
journal contribution
posted on 1981-01-01, 00:00 authored by Manish Pandey, Alok Jain, Randal E. Bryant, Derek Beatty, Gary York, Samir Jain
The paper describes a new technique for extracting clock level finite state machines (FSMs) from transistor netlists using symbolic simulation. The transistor netlist is preprocessed to produce a gate level representation of the netlist. Given specifications of the circuit clocking and input and output timing, simulation patterns are derived for a symbolic simulator. The result of the symbolic simulation and extraction process is the next state and output function of the equivalent FSM, represented as Ordered Binary Decision Diagrams. Compared to previous techniques, our extraction process yields an order of magnitude improvement in both space and time, is fully automated and can handle static storage structures and time multiplexed inputs and outputs


Publisher Statement

All Rights Reserved



Usage metrics