Synthesis of hazard-free control circuits from asynchronous finite state machines specifications.
Tam-Anh ChuPublished in: J. VLSI Signal Process. (1994)
Keyphrases
- finite state machines
- delay insensitive
- digital circuits
- asynchronous circuits
- high level synthesis
- analog circuits
- model checking
- state machine
- finite state automata
- logic synthesis
- state machines
- control system
- functional decomposition
- power dissipation
- hidden markov models
- formal specification
- risk assessment
- regular expressions
- low power
- semi automatic