Verification of Timing Properties in Rapid System Prototyping.

Doron Drusinsky Man-tak Shing

Published in: IEEE International Workshop on Rapid System Prototyping (2003)

Keyphrases

structural properties
desirable properties
database
databases
neural network
model checking
formal analysis
asynchronous circuits
information systems
decision trees
artificial neural networks
hidden markov models