A symbolic methodology for the verification of analog and mixed signal designs
Ghiath Al-Sammane, Mohamed H. Zaki, Sofiène Tahar · 2007
We propose a new symbolic verification methodology for proving the properties of analog and mixed signal (AMS) designs. Starting with an AMS description and a set of prop-erties and using symbolic computation, we extract a normal mathematical representation for the system in terms of re-currence equations. These normalized equations are used along with an induction verification strategy defined inside the computer algebra system Mathematica to prove the cor-rectness of the properties. We apply our methodology on a third order ∆Σ modulator. 1