Reasoning about VHDL using operational and observational semantics.

Kees G. W. Goossens

Published in: CHARME (1995)

Keyphrases

formal semantics
decision making
logic programming
formal theory
complete axiomatization
hardware implementation
semantic representation
hardware design
causal inference
argumentation semantics
spatial reasoning
operational semantics
transformation rules
probabilistic knowledge
modal operators