Login | Register

Items where Author is "Aridhi, Henda"

Group by: Item Type | No Grouping
Jump to: Article | Thesis
Number of items: 2.

Article

Lahiouel, Ons, Aridhi, Henda, Zaki, Mohamed H. and Tahar, Sofiène (2017) Exploiting Bounds Optimization for the Semi-formal Verification of Analog Circuits. Integration, the VLSI Journal . ISSN 01679260 (In Press)

Thesis

Aridhi, Henda (2015) Enhancing the Behavioral Verification of Analog Circuits using Model Order Reduction. PhD thesis, Concordia University.

This list was generated on Thu Oct 6 03:10:11 2022 EDT.
Back to top Back to top