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 Tue Jan 31 03:12:01 2023 EST.
Back to top Back to top