ORCID
- Kevin D. Jones: 0000-0002-7960-0978
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.
DOI Link
Publication Date
2016-01-01
Publication Title
IEEE Design and Test
Volume
33
Issue
5
ISSN
2168-2356
Acceptance Date
2016-05-15
Additional Links
First Page
35
Last Page
43
Recommended Citation
Asad, H., & Jones, K. (2016) 'Verifying Inevitability of Oscillation in Ring Oscillators Using the Deductive SOS-QE Approach', IEEE Design and Test, 33(5), pp. 35-43. Available at: 10.1109/MDAT.2016.2573588
