Login | Register

Items where Author is "Aridhi, Henda"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
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 22 03:13:37 2019 EST.
Back to top Back to top