{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,13]],"date-time":"2026-01-13T23:38:54Z","timestamp":1768347534477,"version":"3.49.0"},"reference-count":31,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2010,1,7]],"date-time":"2010-01-07T00:00:00Z","timestamp":1262822400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Electron Test"],"published-print":{"date-parts":[[2010,2]]},"DOI":"10.1007\/s10836-009-5137-z","type":"journal-article","created":{"date-parts":[[2010,1,6]],"date-time":"2010-01-06T02:54:02Z","timestamp":1262746442000},"page":"97-109","source":"Crossref","is-referenced-by-count":6,"title":["Using Stochastic Differential Equation for Verification of Noise in Analog\/RF Circuits"],"prefix":"10.1007","volume":"26","author":[{"given":"Rajeev","family":"Narayanan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mohamed H.","family":"Zaki","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sofi\u00e8ne","family":"Tahar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2010,1,7]]},"reference":[{"key":"5137_CR1","unstructured":"Abercrombie D, Koenemann B (2004) Process\/design learning from electrical test. In: IEEE\/ACM international conference on computer-aided design, pp\u00a0733\u2013738"},{"key":"5137_CR2","unstructured":"Accellera (2004) Accellera property specification language. http:\/\/www.accellera.org\/"},{"key":"5137_CR3","unstructured":"Al\u00a0Sammane G, Zaki M, Dong Z, Tahar S (2007) Towards assertion based verification of analog and mixed signal designs using PSL. In: Forum on specification & design languages, pp\u00a0293\u2013298"},{"key":"5137_CR4","unstructured":"Ankele B, H\u00f6lzl W, O\u2019Leary P (1989) Enhanced MOS parameter extraction and SPICE modeling for mixed signal analogue and digital circuit simulation. In: IEEE international conference on microelectronic test structures, pp\u00a0133\u2013137"},{"key":"5137_CR5","doi-asserted-by":"crossref","unstructured":"Bolcato P, Poujois R (1992) A new approach for noise simulation in transient analysis. In: IEEE international symposium on circuits and systems, pp\u00a0887\u2013890","DOI":"10.1109\/ISCAS.1992.230079"},{"key":"5137_CR6","unstructured":"B\u00fchler, M, Koehl J, Bickford J, Hibbeler J, Sommer R, Pronath M, Ripp\u00a0A (2006) DFM\/DFY design for manufacturability and yield\u2014influence of process variations in digital, analog and mixed-signal circuit design. In: Conference on design, automation and test in Europe, pp\u00a0387\u2013392"},{"key":"5137_CR7","doi-asserted-by":"crossref","unstructured":"Chen WK (2003) VLSI technology (principles and applications in engineering). CRC","DOI":"10.1201\/9780203011508"},{"key":"5137_CR8","unstructured":"Cheng Y (2002) The influence and modeling of process variation and device mismatch on analog\/RF circuit design. In: IEEE international caracas conference on devices, circuits and systems"},{"key":"5137_CR9","unstructured":"TSMC (2008) 0.18\u03bc m CMOS fabrication process. http:\/\/www.tsmc.com"},{"key":"5137_CR10","unstructured":"Feldmann P, Freund RW (1997) Circuit noise evaluation by Pad $\\grave{e}$ approximation based model-reduction techniques. In: IEEE\/ACM international conference on computer-aided design, pp\u00a0132\u2013138"},{"issue":"9","key":"5137_CR11","doi-asserted-by":"crossref","first-page":"800","DOI":"10.1109\/TCSII.2007.900885","volume":"54","author":"IM Filanovsky","year":"2007","unstructured":"Filanovsky IM, Verhoeven CJM, Reja, M (2007) Remarks on analysis, design and amplitude stability of MOS colpitts oscillator. IEEE Trans Circuits Syst-II: Express Briefs 54(9):800\u2013804","journal-title":"IEEE Trans Circuits Syst-II: Express Briefs"},{"key":"5137_CR12","unstructured":"freeda TM (2006) freeda homepage. http:\/\/www.freeda.org\/"},{"issue":"3","key":"5137_CR13","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1016\/j.entcs.2006.02.019","volume":"153","author":"G Frehse","year":"2006","unstructured":"Frehse G, Krogh B, Rutenbar R, Maler O (2006) Time domain verification of oscillator circuit properties. Electronic Notes in Theoretical Computer Science 153(3):9\u201322","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"5137_CR14","doi-asserted-by":"crossref","unstructured":"Gupta S, Krogh BH, Rutenbar RA (2004) Towards formal verification of analog designs. In: IEEE\/ACM international conference on computer aided design, pp\u00a0210\u2013217","DOI":"10.1109\/ICCAD.2004.1382573"},{"key":"5137_CR15","unstructured":"Ham D, Hajimiri A (2000) Complete noise analysis for CMOS switching mixers via stochasti differential equations. In: IEEE custom integrated circuits conference, pp\u00a0439\u2013442"},{"key":"5137_CR16","volume-title":"Analog integrated circuit design","author":"DA Johns","year":"1997","unstructured":"Johns DA, Martin K (1997) Analog integrated circuit design. Wiley, New York"},{"issue":"6","key":"5137_CR17","doi-asserted-by":"crossref","first-page":"1212","DOI":"10.1109\/JSSC.2005.848021","volume":"40","author":"PR Kinget","year":"2005","unstructured":"Kinget PR (2005) Device mismatch and tradeoffs in the design of analog circuits. IEEE J Solid-state Circuits 40(6):1212\u20131224","journal-title":"IEEE J Solid-state Circuits"},{"key":"5137_CR18","volume-title":"Numerical solution of stochastic differential equations","author":"PE Kloden","year":"1995","unstructured":"Kloden PE, Platen E (1995) Numerical solution of stochastic differential equations. Springer, New York"},{"key":"5137_CR19","doi-asserted-by":"crossref","unstructured":"Kolarova E (2005) Modelling RL electrical circuits by stochastic diferential equations. In: International conference on computer as a tool, pp\u00a01236\u20131238","DOI":"10.1109\/EURCON.2005.1630179"},{"key":"5137_CR20","doi-asserted-by":"crossref","unstructured":"Kriplani NM, Victor A, Steer MB (2006) Time-domain modelling of phase noise in an oscillator. In: European microwave conference, pp\u00a0514\u2013517","DOI":"10.1109\/EUMC.2006.281423"},{"key":"5137_CR21","volume-title":"RF circuit design, theory and applications","author":"R Ludwig","year":"2004","unstructured":"Ludwig R, Bretchko P (2004) RF circuit design, theory and applications. Pearson Education, Harlow"},{"issue":"4","key":"5137_CR22","doi-asserted-by":"crossref","first-page":"664","DOI":"10.1109\/TCSI.2004.826209","volume":"51","author":"SK Magierowski","year":"2004","unstructured":"Magierowski SK, Zukotynski S (2004) CMOS LC-oscillator phase-noise analysis using nonlinear models. IEEE Trans Circuits Syst 51(4):664\u2013677","journal-title":"IEEE Trans Circuits Syst"},{"key":"5137_CR23","first-page":"152","volume-title":"Formal modelling and analysis of timed systems. LNCS, vol 3253","author":"O Maler","year":"2004","unstructured":"Maler O, Nickovic D (2004) Monitoring temporal properties of continuous signals. In: Formal modelling and analysis of timed systems. LNCS, vol 3253, pp\u00a0152\u2013166. Springer, New\u00a0York"},{"key":"5137_CR24","volume-title":"Semiconductor device modeling with SPICE","author":"G Massobrio","year":"1988","unstructured":"Massobrio G, Antognetti P (1988) Semiconductor device modeling with SPICE. McGraw-Hill, New York"},{"key":"5137_CR25","unstructured":"The MathWorks (2007) MATLAB User Guide. http:\/\/www.mathworks.com\/"},{"key":"5137_CR26","volume-title":"Stochastic differential equations. An introduction with applications.","author":"B Oksendal","year":"2000","unstructured":"Oksendal B (2000) Stochastic differential equations. An introduction with applications. Springer, New York"},{"key":"5137_CR27","unstructured":"Paper P, Deen MJ, Marinov O (2005) Noise in advanced electronic devices and circuits. In: AIP international conference on noise in physical systems and 1\/f fluctuations, vol 780, pp 3\u201312"},{"key":"5137_CR28","doi-asserted-by":"crossref","unstructured":"Pelgrom M, Tuinhout HP, Vertregt M (1998) Transistor matching in analog CMOS applications. In: International electron devices meeting, pp\u00a0915\u2013918","DOI":"10.1109\/IEDM.1998.746503"},{"key":"5137_CR29","first-page":"470","volume":"12","author":"K Singhal","year":"1999","unstructured":"Singhal K, Visvanathan V (1999) Statistical device models from worst case files and electrical test data. IEEE Trans Circuits Syst 12:470\u2013484","journal-title":"IEEE Trans Circuits Syst"},{"key":"5137_CR30","unstructured":"Wang Z, Abbasi N, Narayanan R, Zaki M, Al Sammane G, Tahar S (2009) Verification of analog and mixed signal designs using on-line monitoring. In: IEEE mixed-signals, sensors, system test workshop, pp\u00a01\u20138"},{"issue":"12","key":"5137_CR31","doi-asserted-by":"crossref","first-page":"1395","DOI":"10.1016\/j.mejo.2008.05.013","volume":"39","author":"M Zaki","year":"2008","unstructured":"Zaki M, Tahar S, Bois G (2008) Formal verification of analog and mixed signal designs: a survey. Microelectron J (Elsevier) 39(12):1395\u20131404","journal-title":"Microelectron J (Elsevier)"}],"container-title":["Journal of Electronic Testing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10836-009-5137-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10836-009-5137-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10836-009-5137-z","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,30]],"date-time":"2019-05-30T21:57:45Z","timestamp":1559253465000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10836-009-5137-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,1,7]]},"references-count":31,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2010,2]]}},"alternative-id":["5137"],"URL":"https:\/\/doi.org\/10.1007\/s10836-009-5137-z","relation":{},"ISSN":["0923-8174","1573-0727"],"issn-type":[{"value":"0923-8174","type":"print"},{"value":"1573-0727","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,1,7]]}}}