Sign in
VHDL semantics and validating transformations.
Sheetanshu L. Pandey
Kothanda Umamageswaran
Philip A. Wilsey
Published in:
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (1999)
Keyphrases
</>
transformation rules
formal semantics
logic programming
hardware implementation
operational semantics
data mining
learning algorithm
semantic information
real time
machine learning
image processing
database systems
integrated circuit
model based diagnosis
model theoretic