Items where Author is "Zaki, Mohamed H."

Lahiouel, Ons, Aridhi, Henda, Zaki, Mohamed H. and Tahar, Sofiène (2017) Exploiting Bounds Optimization for the Semi-formal Verification of Analog Circuits. Integration, the VLSI Journal . ISSN 01679260 (In Press)

Narayanan, Rajeev, Seghair, Ibtissem, Zaki, Mohamed H. and Tahar, Sofiène (2012) Statistical Run-Time Verification of Analog Circuits in Presence of Noise and Process Variation. IEEE Transactions on Very Large Scale Integration (VLSI) Systems . p. 1. ISSN 1063-8210

Narayanan, Rajeev, Zaki, Mohamed H. and Tahar, Sofiène (2010) Using Stochastic Differential Equation for Verification of Noise in Analog/RF Circuits. Journal of Electronic Testing, 26 (1). pp. 97-109. ISSN 0923-8174

Zaki, Mohamed H., Denman, William, Tahar, Sofiène and Bois, Guy (2009) Integrating Abstraction Techniques for Formal Verification of Analog Designs. Journal of Aerospace Computing, Information, and Communication, 6 (5). pp. 373-392. ISSN 1542-9423

Zaki, Mohamed H., Tahar, Sofiène and Bois, Guy (2008) Formal verification of analog and mixed signal designs: A survey. Microelectronics Journal, 39 (12). pp. 1395-1404. ISSN 00262692