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