Specification and Formal Synthesis of Digital Circuits.
Massimo BombanaPatrizia CavalloroGiuseppe ZazaPublished in: TPHOLs (1992)
Keyphrases
- digital circuits
- analog circuits
- functional decomposition
- formal specification
- formal methods
- formal language
- data flow
- specification languages
- model based diagnosis
- requirements specification
- reactive systems
- finite state machines
- specification language
- model checking
- evolvable hardware
- operational semantics
- circuit design
- databases
- formal languages
- program synthesis
- texture synthesis
- e learning
- high level
- computational complexity
- state transition
- building blocks
- formal model
- dynamic systems