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.
Original language | English |
---|---|
Article number | 7479567 |
Pages (from-to) | 35-43 |
Number of pages | 9 |
Journal | IEEE Design and Test |
Volume | 33 |
Issue number | 5 |
DOIs | |
Publication status | Published - Oct 2016 |
ASJC Scopus subject areas
- Software
- Hardware and Architecture
- Electrical and Electronic Engineering