The Formal Simulation Semantics of SystemVerilog.

Martin Zambaldi Wolfgang Ecker Thomas Kruse Wolfgang Müller

Published in: FDL (2004)

Keyphrases

formal semantics
operational semantics
formal language
specification languages
neural network
logic programming
simulation models
model theoretic
machine processable
domain knowledge
programming language
semantic information
simulation study
simulation model
formal languages
precisely defined