Verification of analog and mixed signal designs using online monitoring

Authors:
Zhiwei Wang;Naeem Abbasi;Rajeev Narayanan;Mohamed H. Zaki;Ghiath Al Sammane;Sofiene Tahar
Affiliations:
Dept. ECE, Concordia University, Montreal, Quebec, Canada;Dept. ECE, Concordia University, Montreal, Quebec, Canada;Dept. ECE, Concordia University, Montreal, Quebec, Canada;Dept. CS, University of British Columbia, Vancouver, Canada;Dept. ECE, Concordia University, Montreal, Quebec, Canada;Dept. ECE, Concordia University, Montreal, Quebec, Canada
Venue:
IMS3TW '09 Proceedings of the 2009 IEEE 15th International Mixed-Signals, Sensors, and Systems Test Workshop
Year:
2009

Citing 0
Cited 4

Using Stochastic Differential Equation for Verification of Noise in Analog/RF Circuits

Journal of Electronic Testing: Theory and Applications
Formal verification of phase-locked loops using reachability analysis and continuization

Proceedings of the International Conference on Computer-Aided Design
Runtime verification with state estimation

RV'11 Proceedings of the Second international conference on Runtime verification
Runtime verification of nonlinear analog circuits using incremental time-augmented RRT algorithm

Proceedings of the Conference on Design, Automation and Test in Europe

Quantified Score

Hi-index	0.00

Visualization

Abstract

Analog and mixed signal (AMS) circuits play an important role in today's System on Chip design. They pose, however, many challenges in the verification of the overall system due to their complex behavior. Among many developed verification techniques, runtime verification has been shown to be effective by experimenting finite executions instead of going through the whole state space. In this paper, we present a methodology for the specification and verification of AMS designs using online monitoring at runtime based on the notion of System of Recurrence Equations (SREs). We implement the proposed methodology in a C language based tool, called C-SRE, and utilize it to verify several properties of a PLL design. We compare our proposed online monitoring techniques with the offline approach. Finally, we apply the proposed methodology to monitor the jitter noise associated with a voltage controlled oscillator.