Dr.-Ing. Muhammad Hassan

Contact +49 421 218 63937 (Bremen)

Address (Bremen) Mehrzweckhochhaus (MZH)Bibliothekstraße 528359 Bremen

Publications

Secure Open-Source Chip Design: Logic Locking and Attack Analysis within the OpenLane Flow
Jan Kleinekathöfer; Muhammad Hassan; Rolf Drechsler
In: GI/GMM/ITG Testmethoden und Zuverlässigkeit von Schaltungen und Systemen (TuZ). GI/GMM/ITG Workshop Testmethoden und Zuverlässigkeit von Schaltungen und Systemen (TuZ-2026), February 22-24, Potsdam, Germany, 2026.
LLM-assisted Bug Identification and Correction for Verilog HDL
Khushboo Qayyum; Chandan Jha; Sallar Ahmadi-Pour; Muhammad Hassan; Rolf Drechsler
In: ACM Transactions on Design Automation of Electronic Systems (TODAES), Vol. 30, No. 06, Pages 1-28, ACM, 10/2025.
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.

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…