Henda Aridhi

Publication Activity (10 Years)

Years Active: 2012-2017
Publications (10 Years): 2

Top Topics

Formal Verification

Analog Circuits

Program Slicing

Qualitative Simulation

Top Venues

ACM Great Lakes Symposium on VLSI

IEEE Trans. Very Large Scale Integr. Syst.

Publications

Ons Lahiouel, Henda Aridhi, Mohamed H. Zaki, Sofiène Tahar
Exploiting bounds optimization for the semi-formal verification of analog circuits. Integr. 59 (2017)
Henda Aridhi, Mohamed H. Zaki, Sofiène Tahar
Enhancing Model Order Reduction for Nonlinear Analog Circuit Simulation. IEEE Trans. Very Large Scale Integr. Syst. 24 (3) (2016)
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)
Ibtissem Seghaier, Henda Aridhi, Mohamed H. Zaki, Sofiène Tahar
A qualitative simulation approach for verifying PLL locking property. 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)
Paul Winkler, Henda Aridhi, Mohamed H. Zaki, Sofiène Tahar
Generation of reduced analog circuit models using transient simulation traces. ACM Great Lakes Symposium on VLSI (2014)
Henda Aridhi, Mohamed H. Zaki, Sofiène Tahar
Towards improving simulation of analog circuits using model order reduction. DATE (2012)