Using stochastic differential equation for assertion based verification of noise in analog/RF circuits

Authors:
Rajeev Narayanan;Mohamed H. Zaki;Sofiene Tahar
Affiliations:
Dept. of ECE, Concordia University, Montreal, Quebec, Canada;Dept. of CS, University of British Columbia, Vancouver, Canada;Dept. of 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 1

Formal verification of analog circuits in the presence of noise and process variation

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

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper, two improved methods are presented extending our previous work. The first one improves the results by adjusting the voltage levels of the input pulse wave stimulus. Compared with the sine wave input stimulus, the four-level pulse wave ...