Dr.-Ing. Muhammad Hassan

Contact +49 421 218 63937 (Bremen)

Address (Bremen) Mehrzweckhochhaus (MZH)Bibliothekstraße 5D-28359 Bremen

Publications

FARAD: Automated Formal Verification of Approximate Restoring Array Dividers
Chandan Kumar Jha; Khushboo Qayyum; Muhammad Hassan; Rolf Drechsler
In: 38th International Conference on VLSI Design. International Conference on VLSI Design (VLSID-2025), 38th, January 4-8, Bangalore, India, 2025.
LLM-assisted Performance Estimation of Embedded Software on RISC-V Processors
Weiyan Zhang; Muhammad Hassan; Rolf Drechsler
In: 28th IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS). IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS-2025), May 5-7, Lyon, France, 2025.
Formal Verification of Error Bounds for Resistive-Switching-based Multilevel Matrix-Vector Multipliers
Kemal Çağlar Coşkun; Chandan Jha; Muhammad Hassan; Rolf Drechsler
In: 26th International Symposium on Quality Electronic Design (ISQED'25). International Symposium on Quality Electronic Design (ISQED-2025), April 23-25, San Francisco, USA, 2025.

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…