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 Jun 2 03:15:05 2020 EDT.
Back to top Back to top