Dr.-Ing. Muhammad Hassan

Kontakt +49 421 218 63937 (Bremen)

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

Publikationen

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
Leistungsfähiges Entwurfswerkzeug für neuartige Automobilelektronik
Die Autoindustrie in Deutschland verändert sich stark. Autohersteller müssen immer mehr Software und Hardware miteinander verbinden, um das autonome Fahren und die Elektromobilität zu ermöglichen. Die…