Login / Signup
Achieving Fast and Exact Hazard-Free Logic Minimization of Extended Burst-Mode gC Finite State Machines.
Hans M. Jacobson
Chris J. Myers
Ganesh Gopalakrishnan
Published in:
ICCAD (2000)
Keyphrases
</>
finite state machines
state machine
digital circuits
model checking
finite state automata
regular expressions
logic programming
asynchronous circuits
monadic second order logic
derivation rules
hidden markov models
expressive power
modal logic
classical logic