Formal model construction using HDL simulation semantics.

Joseph Buck Dong Wang Yunshan Zhu

Published in: HLDVT (2007)

Keyphrases

formal model
predicate calculus
probabilistic knowledge
neural network
logic programming
simulation study
security patterns
web services
simulation model
rule based systems
simulation models