Dr.-Ing. Muhammad Hassan

Kontakt +49 421 218 63937 (Bremen)

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

Publikationen

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.
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.

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…