Formal Semantics of VHDL for Verification of Circuit Designs.

Xin Hua Hantao Zhang

Published in: ICCD (1993)

Keyphrases

formal semantics
model checking
logical language
logical reasoning
first order logic
hardware implementation
er model
modeling language
operational semantics
formal language
database
formal verification
owl dl ontology
modelling language
ontology languages
hardware design
relational databases
speech acts