Login / Signup
An ACL2 Model of VHDL for Symbolic Simulation and Formal Verification.
Vanderlei Moraes Rodrigues
Dominique Borrione
Philippe Georgelin
Published in:
SBCCI (2000)
Keyphrases
</>
mathematical model
simulation model
computational model
computational models
analytical model
formal verification
artificial intelligence
high level
probabilistic model
bayesian networks
objective function
knowledge based systems
simulation study
model checker