Mathematica: a system for doing mathematics by computer (2nd ed.)
Mathematica: a system for doing mathematics by computer (2nd ed.)
A theoretical basis for the reduction of polynomials to canonical forms
ACM SIGSAM Bulletin
Towards formal verification of analog designs
Proceedings of the 2004 IEEE/ACM International conference on Computer-aided design
Verifying analog oscillator circuits using forward/backward abstraction refinement
Proceedings of the conference on Design, automation and test in Europe: Proceedings
Formal Verification of Analog and Mixed Signal Designs in Mathematica
ICCS '07 Proceedings of the 7th international conference on Computational Science, Part II
Review: Formal verification of analog and mixed signal designs: A survey
Microelectronics Journal
Proceedings of the 2008 International Conference on Formal Methods in Computer-Aided Design
Advanced methods for equivalence checking of analog circuits with strong nonlinearities
Formal Methods in System Design
Formal verification of phase-locked loops using reachability analysis and continuization
Proceedings of the International Conference on Computer-Aided Design
ABCD-L: approximating continuous linear systems using boolean models
Proceedings of the 50th Annual Design Automation Conference
Verifying jitter in an analog and mixed signal design using dynamic time warping
DATE '12 Proceedings of the Conference on Design, Automation and Test in Europe
| Hi-index | 0.01 |
We propose 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, we extract a normal mathematical representation 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. We apply our methodology on a third order ΔΣ modulator.