A Semantic Model of VHDL for Validating Rewriting Algebras.

Sheetanshu L. Pandey Kothanda R. Subramanian Philip A. Wilsey

Published in: EUROMICRO (1996)

Keyphrases

high level
theoretical framework
statistical model
parameter estimation
computational model
objective function
prior knowledge
probabilistic model
mathematical model
keywords
domain knowledge
query language
logic programs
experimental data