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.

fYear

2007

fDate

16-20 April 2007

Firstpage

1

Lastpage

6

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Design, Automation & Test in Europe Conference & Exhibition, 2007. DATE '07

Conference_Location

Nice

Print_ISBN

978-3-9810801-2-4

Type

conf

DOI

10.1109/DATE.2007.364599

Filename

4211804