Semantics and synthesis of signals in behavioral VHDL.

Loganath Ramachandran Frank Vahid Sanjiv Narayan Daniel D. Gajski

Published in: EURO-DAC (1992)

Keyphrases

formal semantics
hardware implementation
signal processing
logic programming
conceptual model
databases
program synthesis
semantic information
hardware design
natural language
search engine
operational semantics
model theoretic
low signal to noise ratio
database
input signals
behavioral model