Verisym: Verifying Circuits by Symbolic Simulation.

William Adams Warren A. Hunt Jr.Damir Jamsek

Published in: Formal Methods Syst. Des. (2003)

Keyphrases

simulation model
high level
simulation models
multiscale
simulation study
symbolic representation
database
artificial intelligence
computer vision
clustering algorithm
high speed
mathematical model
quantum computing