Formal verification of analog circuits in the presence of noise and process variation. - Rajeev Narayanan; Behzad Akbarpour; Mohamed H. Zaki; Sofiène Tahar; Lawrence C. Paulson (DATE, 2010)

Using Stochastic Differential Equation for Verification of Noise in Analog/RF Circuits. - Rajeev Narayanan; Mohamed H. Zaki; Sofiène Tahar (J. Electron. Test., 2010)

Ensuring correctness of analog circuits in presence of noise and process variations using pattern matching. - Rajeev Narayanan; Mohamed H. Zaki; Sofiène Tahar (DATE, 2011)

Verifying jitter in an analog and mixed signal design using dynamic time warping. - Rajeev Narayanan; Alaeddine Daghar; Mohamed H. Zaki; Sofiène Tahar (DATE, 2012)

Using LCSS algorithm for circuit level verification of analog designs. - Rajeev Narayanan; Alaeddine Daghar; Mohamed H. Zaki; Sofiène Tahar (NEWCAS, 2012)

Statistical Run-Time Verification of Analog Circuits in Presence of Noise and Process Variation. - Rajeev Narayanan; Ibtissem Seghaier; Mohamed H. Zaki; Sofiène Tahar (IEEE Trans. Very Large Scale Integr. Syst., 2013)