Login / Signup
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
Published in:
ICCD (1995)
Keyphrases
</>
finite state machines
state transition
finite state automata
high speed
model checking
information extraction
regular expressions
automatic extraction
database
database systems
hidden markov models
domain specific
mathematical model
steady state
simulation model
low power