Design Verification and Functional Testing of FiniteState Machines.

Mark W. Weiss Sharad C. Seth Shashank K. Mehta Kent L. Einspahr

Published in: VLSI Design (2001)

Keyphrases

functional verification
formal verification
data sets
design process
engineering design
website
user interface
real time
databases
neural network
multi agent systems
model checking
software architecture
formal methods
asynchronous circuits
functional analysis