Login / Signup
A Framework for Asynchronous Circuit Modeling and Verification in ACL2.
Cuong K. Chau
Warren A. Hunt Jr.
Marly Roncken
Ivan E. Sutherland
Published in:
Haifa Verification Conference (2017)
Keyphrases
</>
main contribution
dynamic bayesian networks
high speed
data sets
databases
machine learning
genetic algorithm
knowledge base
computational model
theoretical framework
model checking
asynchronous circuits
colored petri nets