VINAS-P: A Tool for Trace Theoretic Verification of Timed Asynchronous Circuits.

Tomohiro Yoneda

Published in: CAV (2000)

Keyphrases

asynchronous circuits
delay insensitive
process algebra
model checking
petri net
neural network
software tools
timed automata
genetic algorithm
artificial intelligence
computer vision
artificial neural networks
software development
knowledge acquisition