Title :
A Symbolic Methodology for the Verification of Analog and Mixed Signal Designs
Author :
Al-Sammane, Ghiath ; Zaki, Mohamed H. ; Tahar, Soféine
Author_Institution :
Concordia Univ., Montreal, Que.
Abstract :
The paper proposed 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, a normal mathematical representation was extracted 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. The methodology was applied on a third order DeltaSigma modulator
Keywords :
analogue processing circuits; delta-sigma modulation; electronic engineering computing; network synthesis; symbol manipulation; Mathematica; analog design verification; computer algebra; delta-sigma modulator; induction verification; mixed signal design verification; normalized equations; recurrence equations; symbolic computation; symbolic methodology; Algebra; Circuit simulation; Difference equations; Formal verification; Mathematical model; Numerical simulation; Reachability analysis; Signal design; State-space methods; Voltage-controlled oscillators;
Conference_Titel :
Design, Automation & Test in Europe Conference & Exhibition, 2007. DATE '07
Conference_Location :
Nice
Print_ISBN :
978-3-9810801-2-4
DOI :
10.1109/DATE.2007.364599
