Time Domain Verification of Oscillator Circuit Properties.

Goran Frehse Bruce H. Krogh Rob A. Rutenbar Oded Maler

Published in: Electron. Notes Theor. Comput. Sci. (2006)

Keyphrases

high speed
database
frequency domain
data sets
real world
model checking
real time
decision trees
feature extraction
structural properties
circuit design
electronic circuits