Verifying Inevitability of Oscillation in Ring Oscillators Using the Deductive SOS-QE Approach
Abstract
A study presents a deductive approach to verify the AGI of oscillations in an ring oscillator (RO). The study is inspired by the Lyapunov theory of stability for dynamical systems and uses a certificate-based deductive approach to verify the inevitability of oscillations in ROs. It defines the verification task as a conjunction of several subproperties whose verification is delegated to the existence of several Lyapunov-like certificates.
Collections
Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Journal
IEEE Design & Test
Volume
33
Issue
5
Pagination
35-43
Recommended, similar items
The following license files are associated with this item: