Ons Lahiouel

According to our database, Ons Lahiouel authored at least 6 papers between 2014 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2018

Accelerated and Reliable Analog Circuits Yield Analysis Using SMT Solving Techniques.

Ons Lahiouel, Mohamed H. Zaki, Sofiène Tahar

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2018

2017

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

Ons Lahiouel, Henda Aridhi, Mohamed H. Zaki, Sofiène Tahar

Integr., 2017

Enhancing analog yield optimization for variation-aware circuits sizing.

Ons Lahiouel, Mohamed H. Zaki, Sofiène Tahar

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2017

2015

Towards enhancing analog circuits sizing using SMT-based techniques.

Ons Lahiouel, Mohamed H. Zaki, Sofiène Tahar

Proceedings of the 52nd Annual Design Automation Conference, 2015

2014

Enablingy the DC solutions characterization using a fuzzy approach.

Ons Lahiouel, Henda Aridhi, Mohamed H. Zaki, Sofiène Tahar

Proceedings of the IEEE 12th International New Circuits and Systems Conference, 2014

A semi-formal approach for analog circuits behavioral properties verification.

Ons Lahiouel, Henda Aridhi, Mohamed H. Zaki, Sofiène Tahar

Proceedings of the Great Lakes Symposium on VLSI 2014, GLSVLSI '14, Houston, TX, USA - May 21, 2014