Oscillator verification with probability one.

Chao Yan, Mark R. Greenstreet

Browse the full FMCAD paper archive.