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

Abstract

This is the accepted version of the paper.This version of the publication may differ from the final published version. We present a deductive numeric-symbolic approach, using Sum of Squares programming (SOS) and Quantier Elimination (QE), and verify that a Ring Oscillator (RO) starts oscillating from almost all random initial voltages on its nodes. Permanent