Verification of digital circuits based on formal semantics of a hardware description language.
Matthias MutzPublished in: EURO-DAC (1992)
Keyphrases
- formal semantics
- digital circuits
- hardware designs
- hardware description language
- model based diagnosis
- integrated circuit
- finite state machines
- model checking
- hardware design
- first order logic
- data flow
- programmable logic
- logical reasoning
- logical language
- modelling language
- circuit design
- modeling language
- theorem prover
- dynamic systems
- field programmable gate array