Verifying Inevitability of Oscillation in Ring Oscillators Using the Deductive SOS-QE Approach
dc.contributor.author | Asad, Hafiz ul | |
dc.contributor.author | Jones, Kevin | |
dc.date.accessioned | 2016-08-16T09:26:32Z | |
dc.date.available | 2016-08-16T09:26:32Z | |
dc.date.issued | 2016-10 | |
dc.identifier.issn | 2168-2356 | |
dc.identifier.issn | 2168-2364 | |
dc.identifier.uri | http://hdl.handle.net/10026.1/5310 | |
dc.description.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. | |
dc.format.extent | 35-43 | |
dc.language.iso | en | |
dc.publisher | Institute of Electrical and Electronics Engineers (IEEE) | |
dc.title | Verifying Inevitability of Oscillation in Ring Oscillators Using the Deductive SOS-QE Approach | |
dc.type | journal-article | |
dc.type | Journal Article | |
plymouth.author-url | https://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=WOS:000393045700006&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=11bb513d99f797142bcfeffcc58ea008 | |
plymouth.issue | 5 | |
plymouth.volume | 33 | |
plymouth.publication-status | Published | |
plymouth.journal | IEEE Design & Test | |
dc.identifier.doi | 10.1109/MDAT.2016.2573588 | |
plymouth.organisational-group | /Plymouth | |
plymouth.organisational-group | /Plymouth/Faculty of Science and Engineering | |
plymouth.organisational-group | /Plymouth/Faculty of Science and Engineering/School of Engineering, Computing and Mathematics | |
plymouth.organisational-group | /Plymouth/Faculty of Science and Engineering/School of Engineering, Computing and Mathematics/SoECM - Manual | |
plymouth.organisational-group | /Plymouth/REF 2021 Researchers by UoA | |
plymouth.organisational-group | /Plymouth/REF 2021 Researchers by UoA/UoA11 Computer Science and Informatics | |
plymouth.organisational-group | /Plymouth/REF 2021 Researchers by UoA/UoA12 Engineering | |
plymouth.organisational-group | /Plymouth/REF 2021 Researchers by UoA/UoA12 Engineering/UoA12 Engineering MANUAL | |
plymouth.organisational-group | /Plymouth/Users by role | |
plymouth.organisational-group | /Plymouth/Users by role/Academics | |
dcterms.dateAccepted | 2016-05-15 | |
dc.identifier.eissn | 2168-2364 | |
dc.rights.embargoperiod | Not known | |
rioxxterms.versionofrecord | 10.1109/MDAT.2016.2573588 | |
rioxxterms.licenseref.uri | http://www.rioxx.net/licenses/all-rights-reserved | |
rioxxterms.licenseref.startdate | 2016-10 | |
rioxxterms.type | Journal Article/Review |