Henda Aridhi

According to our database, Henda Aridhi authored at least 7 papers between 2012 and 2017.

Collaborative distances:

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

2017

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

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

Integr., 2017

2016

Enhancing Model Order Reduction for Nonlinear Analog Circuit Simulation.

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

IEEE Trans. Very Large Scale Integr. Syst., 2016

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

Generation of reduced analog circuit models using transient simulation traces.

Paul Winkler, 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

A qualitative simulation approach for verifying PLL locking property.

Ibtissem Seghaier, 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

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

2012

Towards improving simulation of analog circuits using model order reduction.

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

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