Clean formal semantics for VHDL.
Peter T. BreuerLuis Sánchez FernándezCarlos Delgado KloosPublished in: EDAC-ETC-EUROASIC (1994)
Keyphrases
- formal semantics
- hardware implementation
- logical language
- modeling language
- operational semantics
- logical reasoning
- formal language
- hardware design
- er model
- speech acts
- epistemic logic
- theorem prover
- hardware description language
- integrated circuit
- relational databases
- modelling language
- ontology languages
- field programmable gate array
- owl dl ontology