Ons Lahiouel

Publication Activity (10 Years)

Years Active: 2014-2018
Publications (10 Years): 4

Top Topics

Formal Verification

Analog Circuits

Successive Approximation

Top Venues

ACM Great Lakes Symposium on VLSI

Publications

Ons Lahiouel, Mohamed H. Zaki, Sofiène Tahar
Accelerated and Reliable Analog Circuits Yield Analysis Using SMT Solving Techniques. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 37 (3) (2018)
Ons Lahiouel, Henda Aridhi, Mohamed H. Zaki, Sofiène Tahar
Exploiting bounds optimization for the semi-formal verification of analog circuits. Integr. 59 (2017)
Ons Lahiouel, Mohamed H. Zaki, Sofiène Tahar
Enhancing analog yield optimization for variation-aware circuits sizing. DATE (2017)
Ons Lahiouel, Mohamed H. Zaki, Sofiène Tahar
Towards enhancing analog circuits sizing using SMT-based techniques. DAC (2015)
Ons Lahiouel, Henda Aridhi, Mohamed H. Zaki, Sofiène Tahar
A semi-formal approach for analog circuits behavioral properties verification. ACM Great Lakes Symposium on VLSI (2014)
Ons Lahiouel, Henda Aridhi, Mohamed H. Zaki, Sofiène Tahar
Enablingy the DC solutions characterization using a fuzzy approach. NEWCAS (2014)