Formal Verification of Analog and Mixed Signal Designs in Mathematica

Authors:
Mohamed H. Zaki;Ghiath Al-Sammane;Sofiène Tahar
Affiliations:
Dept. of Electrical & Computer Engineering, Concordia University, 1455 de Maisonneuve W., Montréééal, Québec, H3G 1M8, Canada;Dept. of Electrical & Computer Engineering, Concordia University, 1455 de Maisonneuve W., Montréééal, Québec, H3G 1M8, Canada;Dept. of Electrical & Computer Engineering, Concordia University, 1455 de Maisonneuve W., Montréééal, Québec, H3G 1M8, Canada
Venue:
ICCS '07 Proceedings of the 7th international conference on Computational Science, Part II
Year:
2007

Citing 1
Cited 0

A symbolic methodology for the verification of analog and mixed signal designs

Proceedings of the conference on Design, automation and test in Europe

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper, we show how symbolic algebra in Mathematica can be used to formally verify analog and mixed signal designs. The verification methodology is based on combining induction and constraints solving to generate correctness for the system with respect to given properties. The methodology has the advantage of avoiding exhaustive simulation usually utilized in the verification. We illustrate this methodology by proving the stability of a ΔΣmodulator.