Verifying start-up conditions for a ring oscillator

@inproceedings{Greenstreet2008VerifyingSC,
  title={Verifying start-up conditions for a ring oscillator},
  author={Mark R. Greenstreet and Suwen Yang},
  booktitle={ACM Great Lakes Symposium on VLSI},
  year={2008}
}
Recently, researchers at Rambus proposed a ring-oscillator example as a challenge problem for analog verification: they asked researchers to identify conditions that will ensure that the oscillator is free from lock-up. We present a solution to this challenge problem. Our approach is primarily pencil-and-paper analysis. We prove properties of the oscillator circuit, and then use numerical computation to determine parameter values for which correct operation is guaranteed. In addition to… CONTINUE READING
Highly Cited
This paper has 26 citations. REVIEW CITATIONS