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 and Aridhi, Henda and 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 Fri Aug 18 03:30:59 2017 EDT.
Back to top Back to top