Homepage Sitemap Contact




Home « Team « Publications
» Publications of Muhammad Hassan



BOOKS


BOOK CONTRIBUTIONS


JOURNALS

» Equivalence Checking of System-Level and SPICE-Level Models of Linear Circuits
[Link to the Homepage of this journal]




Author:

Kemal Çağlar Coşkun, Muhammad Hassan, Rolf Drechsler
Journal:
Chips
Details:
Volume 1, Issue 1, pp. 54-71
Year:


2022





» Security Validation of VP-based SoCs Using Dynamic Information Flow Tracking
[Link to the Homepage of this journal]




Author:

Mehran Goli, Muhammad Hassan, Daniel Große, Rolf Drechsler
Journal:
it-Information Technology
Details:
accepted
Year:


2019






CONFERENCES



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




Author:

Kemal Çağlar Coşkun, Muhammad Hassan, Rolf Drechsler
Conference:
Design, Automation and Test in Europe (DATE)
Reference:

Antwerp, Belgium, 2023
Hyperlink:

[To the Site of this Conference]



» Automated Equivalence Checking Method for Majority based In-Memory Computing on ReRAM Crossbars




Author:

Arighna Deb, Kamalika Datta, Muhammad Hassan, Saeideh Shirinzadeh, Rolf Drechsler
Conference:
Asia and South Pacific Design Automation Conference (ASP-DAC)
Reference:

Tokyo, Japan, 2023
Hyperlink:

[To the Site of this Conference]
PDF:

[view Pdf]



» A Cross-domain Heterogeneous ABV-Library for Mixed-signal Virtual Prototypes in SystemC/AMS




Author:

Muhammad Hassan, Thilo Vörtler, Karsten Einwich, Rolf Drechsler, Daniel Große
Conference:
Design and Verification Conference in Europe (DVCon Europe)
Reference:

Munich, Germany, 2022
Hyperlink:

[To the Site of this Conference]
PDF:

[view Pdf]



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




Author:

Kemal Çağlar Coşkun, Muhammad Hassan, Rolf Drechsler
Conference:
25th IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS)
Reference:

Prague, Czech Republic, 2022
Hyperlink:

[To the Site of this Conference]
PDF:

[view Pdf]



» System Level verification of Phase-Locked Loop using Metamorphic Relations




Author:

Muhammad Hassan, Daniel Große, Rolf Drechsler
Conference:
Design, Automation and Test in Europe Conference (DATE)
Reference:

Grenoble, France, 2021
Hyperlink:

[To the Site of this Conference]
PDF:

[view Pdf]



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




Author:

Muhammad Hassan, Daniel Große, Rolf Drechsler
Conference:
Asia and South Pacific Design Automation Conference (ASP-DAC)
Reference:

Tokyo, Japan, 2021
Hyperlink:

[To the Site of this Conference]
PDF:

[view Pdf]



» Functional Coverage-Driven Characterization of RF Amplifiers




Author:

Muhammad Hassan, Daniel Große, Thilo Vörtler, Karsten Einwich and Rolf Drechsler
Conference:
Forum on specification & Design Languages (FDL)
Reference:

Southampton, United Kingdom, 2019
Best Paper Candidate
Hyperlink:

[To the Site of this Conference]
PDF:

[view Pdf]



» Automated Analysis of Virtual Prototypes at Electronic System Level




Author:

Mehran Goli, Muhammad Hassan, Daniel Große, Rolf Drechsler
Conference:
29th ACM Great Lakes Symposium on VLSI (GLSVLSI)
Reference:

Washington, D.C., USA, 2019
Hyperlink:

[To the Site of this Conference]
PDF:

[view Pdf]



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




Author:

Muhammad Hassan, Daniel Große, Hoang M. Le, Rolf Drechsler
Conference:
Design, Automation and Test in Europe (DATE)
Reference:

Florence, Italy, 2019
Hyperlink:

[To the Site of this Conference]
PDF:

[view Pdf]



» Using Constraints for SystemC AMS Design and Verification




Author:

Thilo Vörtler, Karsten Einwich, Muhammad Hassan, Daniel Große
Conference:
Design and Verification Conference and Exhibition Europe (DVCon Europe)
Reference:

Munich, Germany, 2018
Best Paper Award
Hyperlink:

[To the Site of this Conference]
PDF:

[view Pdf]



» Testbench Qualification for SystemC-AMS Timed Data Flow Models




Author:

Muhammad Hassan, Daniel Große, Hoang M. Le, Thilo Vörtler, Karsten Einwich, Rolf Drechsler
Conference:
Design, Automation and Test in Europe (DATE)
Reference:

pp. 857-860, Dresden, Germany, 2018
Hyperlink:

[To the Site of this Conference]
PDF:

[view Pdf]



» Early SoC Security Validation by VP-based Static Information Flow Analysis




Author:

Muhammad Hassan, Vladimir Herdt, Hoang M. Le, Daniel Große, Rolf Drechsler
Conference:
International Conference on Computer Aided Design (ICCAD)
Reference:

pp. 400-407, Irvine, USA, 2017
Hyperlink:

[To the Site of this Conference]
PDF:

[view Pdf]



» Data Flow Testing for Virtual Prototypes




Author:

Muhammad Hassan, Vladimir Herdt, Hoang M. Le, Mingsong Chen, Daniel Große, Rolf Drechsler
Conference:
Design, Automation and Test in Europe (DATE)
Reference:

Lausanne, Switzerland, 2017
Hyperlink:

[To the Site of this Conference]
PDF:

[view Pdf]



» Guided Lightweight Software Test Qualification for IP Integration using Virtual Prototypes




Author:

Daniel Große, Hoang M. Le, Muhammad Hassan, Rolf Drechsler
Conference:
IEEE International Conference on Computer Design (ICCD)
Reference:

Phoenix, USA, 2016
Hyperlink:

[To the Site of this Conference]
PDF:

[view Pdf]


WORKSHOPS




» Towards System-level Assertions for Heterogeneous Systems




Author:

Muhammad Hassan, Thilo Voertler, Karsten Einwich, Rolf Drechsler,Daniel Grosse
Workshop:
15th International Workshop on Boolean Problems (IWSBP)
Reference:

Bremen, 2022
PDF:

[view Pdf]
Hyperlink:

[Link to the Workshop]



» System Level Verification of Analog/Mixed-Signal Systems using Metamorphic Relations




Author:

Muhammad Hassan and Rolf Drechsler
Workshop:
34. GI/GMM/ITG Testmethoden und Zuverlässigkeit von Schaltungen und Systemen (TuZ)
Reference:

Bremerhaven, Germany, 2022
PDF:

[view Pdf]
Hyperlink:

[Link to the Workshop]



» Coverage-Directed Stimuli Generation for Characterization of RF Amplifiers




Author:

Muhammad Hassan, Daniel Große, Ahmad Asghar, Rolf Drechsler
Workshop:
32. GI/GMM/ITG Testmethoden und Zuverlässigkeit von Schaltungen und Systemen (TuZ 2020)
Reference:

Stuttgart, Germany, 2020
PDF:

[view Pdf]
Hyperlink:

[Link to the Workshop]

















Die deutsche Version ist von dieser Seite nicht erreichbar - bitte gehen Sie eine Seite zurück.









Sitemap Kontakt

ISMVL2014 DUHDE