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.
Publication Date
2016-01-01
Publication Title
IEEE Design and Test
Volume
33
Issue
5
ISSN
2168-2356
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. Retrieved from https://pearl.plymouth.ac.uk/secam-research/1522
