A net-based semantics for VHDL.

Werner Damm Bernhard Josko Rainer Schlör

Published in: EURO-DAC (1993)

Keyphrases

formal semantics
machine learning
semantic information
case study
keywords
logic programming
hardware implementation
logical language
hardware design
transformation rules