Ons Lahiouel

Exploiting bounds optimization for the semi-formal verification of analog circuits

Ons Lahiouel, Henda Aridhi, Sofiène Tahar, 2017, Integr..

Enablingy the DC solutions characterization using a fuzzy approach

Sofiène Tahar, Mohamed H. Zaki, Ons Lahiouel, 2014, 2014 IEEE 12th International New Circuits and Systems Conference (NEWCAS).

A semi-formal approach for analog circuits behavioral properties verification

Sofiène Tahar, Mohamed H. Zaki, Ons Lahiouel, 2014, GLSVLSI '14.

Accelerated and Reliable Analog Circuits Yield Analysis Using SMT Solving Techniques

Sofiène Tahar, Mohamed H. Zaki, Ons Lahiouel, 2018, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

Enhancing Variation-aware Analog Circuits Sizing

Ons Lahiouel, Ons Lahiouel, 2017 .