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

Hafiz Ul Asad; Kevin D. Jones

doi:10.1109/MDAT.2016.2573588

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

Hafiz Ul Asad^*, Kevin D. Jones

^*Corresponding author for this work

City, University of London

Research output: Contribution to journal › Article › peer-review

13 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 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	https://doi.org/10.1109/MDAT.2016.2573588
Publication status	Published - Oct 2016

ASJC Scopus subject areas

Software
Hardware and Architecture
Electrical and Electronic Engineering

Access to Document

10.1109/MDAT.2016.2573588

MDAT2573588

Cite this

@article{dff8790e45aa4695a7c2703899d88d7b,

title = "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.",

author = "Asad, \{Hafiz Ul\} and Jones, \{Kevin D.\}",

year = "2016",

month = oct,

doi = "10.1109/MDAT.2016.2573588",

language = "English",

volume = "33",

pages = "35--43",

journal = "IEEE Design and Test",

issn = "2168-2356",

publisher = "IEEE Computer Society",

number = "5",

}

TY - JOUR

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

AU - Asad, Hafiz Ul

AU - Jones, Kevin D.

PY - 2016/10

Y1 - 2016/10

N2 - 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.

AB - 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.

UR - https://www.scopus.com/pages/publications/84983757579

UR - https://pearl.plymouth.ac.uk/secam-research/1522/

U2 - 10.1109/MDAT.2016.2573588

DO - 10.1109/MDAT.2016.2573588

M3 - Article

AN - SCOPUS:84983757579

SN - 2168-2356

VL - 33

SP - 35

EP - 43

JO - IEEE Design and Test

JF - IEEE Design and Test

IS - 5

M1 - 7479567

ER -

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

Abstract

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this