Structural operational semantics for supporting multi-cycle operations in RTL HDLs.

Shuqing Zhao Daniel D. Gajski

Published in: MEMOCODE (2005)

Keyphrases

operational semantics
formal semantics
mental states
model theoretic
data model
activity diagrams
declarative semantics
denotational semantics
case study
cooperative
natural language
programming language
hardware design