Improving Structural FSM Traversal by Constraint-Satisfying Logic Simulation.

Markus Wedler Dominik Stoffel Wolfgang Kunz

Published in: ISVLSI (2002)

Keyphrases

simulation model
information systems
structural information
structural constraints
databases
neural network
artificial intelligence
website
control system
finite state machines
automated reasoning
constraint solving