A Flowgraph Semantics of VHDL: Toward a VHDL Verification Workbench in HOL.
Ralf ReetzThomas KropfPublished in: Formal Methods Syst. Des. (1995)
Keyphrases
- hardware implementation
- formal methods
- hardware design
- formal semantics
- integrated circuit
- circuit design
- higher order logic
- theorem prover
- fpga implementation
- model checking
- artificial intelligence
- hardware description language
- field programmable gate array
- semantic information
- case study
- neural network
- face verification
- model based diagnosis
- conceptual model
- expert systems
- model checker
- metadata