Towards a Formal Semantics of Verilog Using Duration Calculus.

Gerardo Schneider Qiwen Xu

Published in: FTRTFT (1998)

Keyphrases

formal semantics
formal language
er model
logical reasoning
theorem prover
modelling language
logical language
first order logic
operational semantics
modeling language
speech acts
ontology languages
epistemic logic
hardware designs
owl dl ontology
machine learning
open source