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.
Chapter PDF
Similar content being viewed by others
References
Gielen, G.G.E., Rutenbar, R.A.: Computer-aided Design of Analog and Mixed-signal Integrated Circuits. Proceedings of the IEEE 88, 1825–1852 (2000)
Zaki, M.H., Tahar, S., Bois, G.: Formal Verification of Analog and Mixed Signal Designs: Survey and Comparison. In: NEWCAS’06, Gatineau, Canada, IEEE Computer Society Press, Los Alamitos (2006)
Schreier, R., Temes, G.C.: Understanding Delta-Sigma Data Converters. IEEE Computer Society Press, Los Alamitos (2005)
Al-Sammane, G., Zaki, M.H., Tahar, S.: A Symbolic Methodology for the Verification of Analog and Mixed Signal Designs. In: DATE’07, Nice, France, ACM Press, New York (2007)
Al-Sammane, G.: Simulation Symbolique des Circuits Decrits au Niveau Algorithmique. PhD thesis, Universite Joseph Fourier, Grenoble, France (2005)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer Berlin Heidelberg
About this paper
Cite this paper
Zaki, M.H., Al-Sammane, G., Tahar, S. (2007). Formal Verification of Analog and Mixed Signal Designs in Mathematica. In: Shi, Y., van Albada, G.D., Dongarra, J., Sloot, P.M.A. (eds) Computational Science – ICCS 2007. ICCS 2007. Lecture Notes in Computer Science, vol 4488. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-72586-2_37
Download citation
DOI: https://doi.org/10.1007/978-3-540-72586-2_37
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-72585-5
Online ISBN: 978-3-540-72586-2
eBook Packages: Computer ScienceComputer Science (R0)