Login / Signup
Formal Analysis of Non-determinism in Verilog Cell Library Simulation Models.
Matthias Raffelsieper
Mohammad Reza Mousavi
Jan-Willem Roorda
Chris W. H. Strolenberg
Hans Zantema
Published in:
FMICS (2009)
Keyphrases
</>
formal analysis
simulation models
simulation model
agent based simulation
simulation tools
formal methods
air cargo
agent model
ban logic
data assimilation
hardware designs
knowledge acquisition
anomaly detection
model checking