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




» 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