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