- Accepted Version
Download (466kB) | Preview
This article presents a deductive numeric-symbolic approach, using sum of squares (SOS) programming and quantifier elimination (QE). The authors take ring oscillator as an example to verify that it can start oscillating from all possible initial voltages.
|Additional Information:||© 2016 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works.|
|Subjects:||Q Science > QA Mathematics > QA75 Electronic computers. Computer science|
|Divisions:||School of Informatics > Department of Computing|
Actions (login required)
Downloads per month over past year