Skip to main content Skip to main navigation

Staff

Dr.-Ing. Muhammad Hassan

Contact

Publications

Security Coverage Metrics for Information Flow at the System Level

Ece Nur Demirhan Coskun; Sallar Ahmadi-Pour; Muhammad Hassan; Rolf Drechsler

In: 29th Asia and South Pacific Design Automation Conference (ASP-DAC). Asia and South Pacific Design Automation Conference (ASP-DAC-2024), January 22-25, Incheon, Korea, Republic of, 2024.

To the publication

Automated Equivalence Checking Method for Majority based In-Memory Computing on ReRAM Crossbars

Arighna Deb; Kamalika Datta; Muhammad Hassan; Saeideh Shirinzadeh; Rolf Drechsler

In: Proceedings of the 28th Asia and South Pacific Design Automation Conference (ASP-DAC). Asia and South Pacific Design Automation Conference (ASP-DAC-2023), February 16-19, Tokyo, Japan, 2023.

To the publication

Equivalence Checking of System-Level and SPICE-Level Models of Static Nonlinear Circuits

Kemal Çağlar Coşkun; Muhammad Hassan; Rolf Drechsler

In: Design, Automation and Test in Europe (DATE). Design, Automation & Test in Europe (DATE-2023), April 17-19, Antwerp, Belgium, 2023.

To the publication
All publications

Profile

  • PaSVer

    Powerful design tool for novel automotive electronics

    The automotive industry in Germany is undergoing major changes. Car manufacturers have to combine more and more software and hardware to enable autonomous driving and electromobility. The high…