Login / Signup
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