Oscillator verification with probability one.

Chao Yan Mark R. Greenstreet

Published in: FMCAD (2012)

Keyphrases

probability distribution
model checking
databases
probability theory
confidence level
real time
neural network
information retrieval
clustering algorithm
conditional probabilities
formal analysis
high security