{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,29]],"date-time":"2025-09-29T11:47:01Z","timestamp":1759146421205,"version":"3.28.0"},"reference-count":14,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010,3]]},"DOI":"10.1109\/date.2010.5457009","type":"proceedings-article","created":{"date-parts":[[2013,2,19]],"date-time":"2013-02-19T18:16:33Z","timestamp":1361297793000},"page":"1309-1312","source":"Crossref","is-referenced-by-count":3,"title":["Formal verification of analog circuits in the presence of noise and process variation"],"prefix":"10.1109","author":[{"given":"Rajeev","family":"Narayanan","sequence":"first","affiliation":[]},{"given":"Behzad","family":"Akbarpour","sequence":"additional","affiliation":[]},{"given":"Mohamed H","family":"Zaki","sequence":"additional","affiliation":[]},{"given":"Sofiene","family":"Tahar","sequence":"additional","affiliation":[]},{"given":"Lawrence C","family":"Paulson","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","first-page":"3","article-title":"Noise in Advanced Electronic Devices and Circuits","volume":"780","author":"paper","year":"2005","journal-title":"AIP International Conference on Noise in Physical Systems and l\/f Fluctuations"},{"journal-title":"Using Stochastic Differential Equation for Automated Theorem Proving of Noise in Analog\/RF Circuits","year":"2009","author":"narayanan","key":"ref11"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/IMS3TW.2009.5158696"},{"key":"ref13","first-page":"93","article-title":"Automated Formal Verification of Analog Designs using MetiTarski","author":"denman","year":"2009","journal-title":"IEEE International Conference on Formal Methods in Computer Aided Design"},{"key":"ref14","first-page":"1","article-title":"The Influence and Modeling of Process Variation and Device Mismatch on Analog\/RF Circuit Design","author":"cheng","year":"2002","journal-title":"IEEE International Conference on Devices Circuits and Systems"},{"key":"ref4","article-title":"Stochastic Differential Equations","author":"oksendal","year":"2000","journal-title":"An Introduction with Applications"},{"key":"ref3","first-page":"133","article-title":"Enhanced MOS Parameter Extraction and SPICE Modeling for Mixed Signal Analogue and Digital Circuit Simulation","author":"ankele","year":"1989","journal-title":"IEEE International Conference on Microelectronic test structures"},{"key":"ref6","first-page":"149","article-title":"Statistical Model Checking of Mixed-Analog Circuits with an application to a Third-Order Delta-Sigma Modulator. Haifa Verification Conference","volume":"5394","author":"clarke","year":"2008","journal-title":"LNCS"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2009.5090759"},{"journal-title":"Analysis and Design of Analog Integrated Circuit","year":"2009","author":"gray","key":"ref8"},{"key":"ref7","first-page":"387","article-title":"Design for Manufacturability and Yield - Influence of Process Variations in Digital, Analog and Mixed-Signal Circuit Design","author":"b\u00fchler","year":"2006","journal-title":"Design Automation and Test in Europe"},{"key":"ref2","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1007\/978-3-540-85110-3_18","article-title":"Metitarski: An Automatic Prover for the Elementary Functions","volume":"5144","author":"akbarpour","year":"2008","journal-title":"Intelligent Computer Mathematics LNCS"},{"journal-title":"1 18? CMOS Fabrication Process","year":"2008","key":"ref1"},{"journal-title":"Numerical Solution of Stochastic Differential Equations","year":"1995","author":"kloden","key":"ref9"}],"event":{"name":"2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010)","start":{"date-parts":[[2010,3,8]]},"location":"Dresden","end":{"date-parts":[[2010,3,12]]}},"container-title":["2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5450668\/5456897\/05457009.pdf?arnumber=5457009","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,21]],"date-time":"2017-06-21T07:48:17Z","timestamp":1498031297000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5457009\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,3]]},"references-count":14,"URL":"https:\/\/doi.org\/10.1109\/date.2010.5457009","relation":{},"subject":[],"published":{"date-parts":[[2010,3]]}}}