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 properties and using symbolic computation, we extract a normal mathematical representation for the system in terms of recurrence equations. These normalized equations are used along with an induction verification strategy defined inside the computer algebra system Mathematica to prove the correctness of the properties. We apply our methodology on a third order ∆Σ modulator.
Recently, Al Sammane et al. REF proposed a new symbolic verification methodology based on the computer algebra system Mathematica.
A symbolic methodology for the verification of analog and mixed signal designs
DATE '07
Computer Science