Publications

Page 3 of 4.

Weiyan Zhang; Mehran Goli; Muhammad Hassan; Rolf Drechsler
Efficient ML-Based Performance Estimation Approach across Different Microarchitectures for RISC-V Processors
In: Euromicro Conference Series on Digital System Design (DSD). Euromicro Conference on Digital System Design (DSD-2023), September 6-8, Durres, …
Muhammad Hassan; Rolf Drechsler
System Level Verification of Analog/Mixed-Signal Systems using Metamorphic Relations
In: 34. GI/GMM/ITG Testmethoden und Zuverlässigkeit von Schaltungen und Systemen (TuZ). GI/GMM/ITG Workshop Testmethoden und Zuverlässigkeit von …
Kemal Çağlar Coşkun; Muhammad Hassan; Rolf Drechsler
Equivalence Checking of System-Level and SPICE-Level Models of Linear Analog Filters
In: 25th IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS). IEEE International Symposium on Design and …
Kemal Çağlar Coşkun; Muhammad Hassan; Rolf Drechsler
Equivalence Checking of System-Level and SPICE-Level Models of Linear Circuits
In: Chips, Vol. 1, No. 1, Pages 54-71, 2022.
Muhammad Hassan; Thilo Voertler; Karsten Einwich; Rolf Drechsler; Daniel Große
Towards System-level Assertions for Heterogeneous Systems
In: 15th International Workshop on Boolean Problems (IWSBP). International Workshop on Boolean Problems (IWSBP-2022), September 22-23, Bremen, …
Muhammad Hassan; Thilo Vörtler; Karsten Einwich; Rolf Drechsler; Daniel Große
A Cross-domain Heterogeneous ABV-Library for Mixed-signal Virtual Prototypes in SystemC/AMS
In: Design and Verification Conference in Europe (DVCon Europe). Design and Verification Conference Europe (DVCon Europe-2022), December 6-7, 2022.
Muhammad Hassan; Daniel Große; Rolf Drechsler
System-Level Verification of Linear and Non-Linear Behaviors of RF Amplifiers using Metamorphic Relations
In: 26th Asia and South Pacific Design Automation Conference (ASP-DAC). Asia and South Pacific Design Automation Conference (ASP-DAC-2021), January …
Muhammad Hassan; Daniel Große; Rolf Drechsler
System Level verification of Phase-Locked Loop using Metamorphic Relations
In: Design, Automation and Test in Europe Conference (DATE). Design, Automation & Test in Europe (DATE-2021), February 1-5, virtual, 2021.
Muhammad Hassan; Daniel Große; Ahmad Asghar; Rolf Drechsler
Coverage-Directed Stimuli Generation for Characterization of RF Amplifiers
In: 32. GI/GMM/ITG Testmethoden und Zuverlässigkeit von Schaltungen und Systemen (TuZ 2020). GI/GMM/ITG Workshop Testmethoden und Zuverlässigkeit von …
Muhammad Hassan; Daniel Große; Hoang M. Le; Rolf Drechsler
Data Flow Testing for SystemC-AMS Timed Data Flow Models
In: Design, Automation and Test in Europe (DATE). Design, Automation & Test in Europe (DATE-2019), March 25-29, Florence, Italy, 2019.