Henda Aridhi

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

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

2016
Enhancing Model Order Reduction for Nonlinear Analog Circuit Simulation.
IEEE Trans. Very Large Scale Integr. Syst., 2016

2014
Enablingy the DC solutions characterization using a fuzzy approach.
Proceedings of the IEEE 12th International New Circuits and Systems Conference, 2014

Generation of reduced analog circuit models using transient simulation traces.
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.
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.
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.
Proceedings of the 2012 Design, Automation & Test in Europe Conference & Exhibition, 2012


  Loading...