Muhammad Hassan

According to our database, Muhammad Hassan authored at least 26 papers between 2016 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

ReSG: A Data Structure for Verification of Majority-based In-memory Computing on ReRAM Crossbars.

Kousik Bhunia, Arighna Deb, Kamalika Datta, Muhammad Hassan, Saeideh Shirinzadeh, Rolf Drechsler

ACM Trans. Embed. Comput. Syst., November, 2024

veriSIMPLER: An Automated Formal Verification Methodology for SIMPLER MAGIC Design Style Based In-Memory Computing.

Chandan Kumar Jha, Khushboo Qayyum, Kemal Çaglar Coskun, Simranjeet Singh, Muhammad Hassan, Rainer Leupers, Farhad Merchant, Rolf Drechsler

IEEE Trans. Circuits Syst. I Regul. Pap., September, 2024

cecApprox: Enabling Automated Combinational Equivalence Checking for Approximate Circuits.

Chandan Kumar Jha, Muhammad Hassan, Rolf Drechsler

IEEE Trans. Circuits Syst. I Regul. Pap., July, 2024

Exploring the Potential of Decision Diagrams for Efficient In-Memory Design Verification.

Khushboo Qayyum, Abhoy Kole, Kamalika Datta, Muhammad Hassan, Rolf Drechsler

Proceedings of the Great Lakes Symposium on VLSI 2024, 2024

LLM-Guided Formal Verification Coupled with Mutation Testing.

Muhammad Hassan, Sallar Ahmadi-Pour, Khushboo Qayyum, Chandan Kumar Jha, Rolf Drechsler

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2024

Late Breaking Results: LLM-assisted Automated Incremental Proof Generation for Hardware Verification.

Khushboo Qayyum, Muhammad Hassan, Sallar Ahmadi-Pour, Chandan Kumar Jha, Rolf Drechsler

Proceedings of the 61st ACM/IEEE Design Automation Conference, 2024

Efficient Equivalence Checking of Nonlinear Analog Circuits using Gradient Ascent.

Kemal Çaglar Coskun, Muhammad Hassan, Lars Hedrich, Rolf Drechsler

Proceedings of the 61st ACM/IEEE Design Automation Conference, 2024

Security Coverage Metrics for Information Flow at the System Level.

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

Proceedings of the 29th Asia and South Pacific Design Automation Conference, 2024

2023

VAST: Validation of VP-based Heterogeneous Systems against Availability Security Properties using Static Information Flow Tracking.

Ece Nur Demirhan Coskun, Muhammad Hassan, Mehran Goli, Rolf Drechsler

Proceedings of the 24th International Symposium on Quality Electronic Design, 2023

Efficient ML-Based Performance Estimation Approach Across Different Microarchitectures for RISC-V Processors.

Weiyan Zhang, Mehran Goli, Muhammad Hassan, Rolf Drechsler

Proceedings of the 26th Euromicro Conference on Digital System Design, 2023

Quality Assessment of Logic Locking Mechanisms using Pseudo-Boolean Optimization Techniques.

Marcel Merten, Muhammad Hassan, Rolf Drechsler

Proceedings of the 26th International Symposium on Design and Diagnostics of Electronic Circuits and Systems, 2023

Design Enablement Flow for Circuits with Inherent Obfuscation based on Reconfigurable Transistors.

Jens Trommer, Niladri Bhattacharjee, Thomas Mikolajick, Sebastian Huhn, Marcel Merten, Mohammed E. Djeridane, Muhammad Hassan, Rolf Drechsler, Shubham Rai, Nima Kavand, Armin Darjani, Akash Kumar, V. Sessi, M. Drescher, S. Kolodinski, M. Wiatr

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2023

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

Kemal Çaglar Coskun, Muhammad Hassan, Rolf Drechsler

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2023

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

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

Proceedings of the 28th Asia and South Pacific Design Automation Conference, 2023

2022

Equivalence Checking of System-Level and SPICE-Level Models of Linear Analog Filters.

Kemal Çaglar Coskun, Muhammad Hassan, Rolf Drechsler

Proceedings of the 25th International Symposium on Design and Diagnostics of Electronic Circuits and Systems, 2022

2021

Enhanced modern virtual prototype based verification flow for heterogeneous systems.

Muhammad Hassan

PhD thesis, 2021

System Level Verification of Phase-Locked Loop using Metamorphic Relations.

Muhammad Hassan, Daniel Große, Rolf Drechsler

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2021

System-Level Verification of Linear and Non-Linear Behaviors of RF Amplifiers using Metamorphic Relations.

Muhammad Hassan, Daniel Große, Rolf Drechsler

Proceedings of the ASPDAC '21: 26th Asia and South Pacific Design Automation Conference, 2021

2019

Security validation of VP-based SoCs using dynamic information flow tracking.

Mehran Goli, Muhammad Hassan, Daniel Große, Rolf Drechsler

it Inf. Technol., 2019

Automated Analysis of Virtual Prototypes at Electronic System Level.

Mehran Goli, Muhammad Hassan, Daniel Große, Rolf Drechsler

Proceedings of the 2019 on Great Lakes Symposium on VLSI, 2019

Functional Coverage-Driven Characterization of RF Amplifiers.

Muhammad Hassan, Daniel Große, Thilo Vörtler, Karsten Einwich, Rolf Drechsler

Proceedings of the 2019 Forum for Specification and Design Languages, 2019

Data Flow Testing for SystemC-AMS Timed Data Flow Models.

Muhammad Hassan, Daniel Große, Hoang M. Le, Rolf Drechsler

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2019

2018

Testbench qualification for SystemC-AMS timed data flow models.

Muhammad Hassan, Daniel Große, Hoang M. Le, Thilo Vörtler, Karsten Einwich, Rolf Drechsler

Proceedings of the 2018 Design, Automation & Test in Europe Conference & Exhibition, 2018

2017

Early SoC security validation by VP-based static information flow analysis.

Muhammad Hassan, Vladimir Herdt, Hoang M. Le, Daniel Große, Rolf Drechsler

Proceedings of the 2017 IEEE/ACM International Conference on Computer-Aided Design, 2017

Data flow testing for virtual prototypes.

Muhammad Hassan, Vladimir Herdt, Hoang M. Le, Mingsong Chen, Daniel Große, Rolf Drechsler

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2017

2016

Guided lightweight Software test qualification for IP integration using Virtual Prototypes.

Daniel Große, Hoang M. Le, Muhammad Hassan, Rolf Drechsler

Proceedings of the 34th IEEE International Conference on Computer Design, 2016