Ad-Hoc Translations to Close Verilog Semantics Gap.

Christian Haufe Frank Rogin

Published in: DDECS (2008)

Keyphrases

logic programming
real time
machine translation
formal semantics
semantic information
database
high level
conceptual model
operational semantics
model theoretic
hardware designs