Toward a formal semantics of IEEE Std. VHDL 1076.

Serafín Olcoz José Manuel Colom

Published in: EURO-DAC (1993)

Keyphrases

formal semantics
logical language
hardware implementation
logical reasoning
modeling language
er model
modelling language
first order logic
operational semantics
hardware design
formal language
integrated circuit
speech acts
owl dl ontology
e learning
theorem prover
metamodel
case study