Rajeev Narayanan, Behzad Akbarpour, Mohamed H. Zaki, Sofiène Tahar, Lawrence C. Paulson
Formal verification of analog circuits in the presence of noise and process variation
DATE, 2010.
@inproceedings{DATE-2010-NarayananAZTP,
author = "Rajeev Narayanan and Behzad Akbarpour and Mohamed H. Zaki and Sofiène Tahar and Lawrence C. Paulson",
booktitle = "{Proceedings of the 14th Conference on Design, Automation and Test in Europe}",
pages = "1309--1312",
publisher = "{IEEE}",
title = "{Formal verification of analog circuits in the presence of noise and process variation}",
year = 2010,
}