作者
Ghiath Al-Sammane, Mohamed H Zaki, Sofiene Tahar
发表日期
2007/4/16
研讨会论文
2007 Design, Automation & Test in Europe Conference & Exhibition
页码范围
1-6
出版商
IEEE
简介
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
学术搜索中的文章
G Al-Sammane, MH Zaki, S Tahar - 2007 Design, Automation & Test in Europe Conference …, 2007