Items where Author is "Aridhi, Henda"

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)

Aridhi, Henda (2015) Enhancing the Behavioral Verification of Analog Circuits using Model Order Reduction. PhD thesis, Concordia University.