Verifying Inevitability of Oscillation in Ring Oscillators Using the Deductive SOS-QE Approach

Hafiz Ul Asad*, Kevin D. Jones

*Corresponding author for this work

Research output: Contribution to journalArticlepeer-review

12 Downloads (Pure)

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 languageEnglish
Article number7479567
Pages (from-to)35-43
Number of pages9
JournalIEEE Design and Test
Volume33
Issue number5
DOIs
Publication statusPublished - Oct 2016

ASJC Scopus subject areas

  • Software
  • Hardware and Architecture
  • Electrical and Electronic Engineering

Fingerprint

Dive into the research topics of 'Verifying Inevitability of Oscillation in Ring Oscillators Using the Deductive SOS-QE Approach'. Together they form a unique fingerprint.

Cite this