A symbolic-simulation approach to the timing verification of interacting FSMs.

Ajay J. Daga William P. Birmingham

Published in: ICCD (1995)

Keyphrases

asynchronous circuits
finite state machines
model checking
databases
neural network
learning algorithm
mobile robot
simulation model
agent model
simulation environment
simulation models
verification method
colored petri nets
symbolic description