Publikationen

Seite 1 von 1.

1. Arighna Deb; Kamalika Datta; Muhammad Hassan; Saeideh Shirinzadeh; Rolf Drechsler

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

   In: Proceedings of the 28th Asia and South Pacific Design Automation Conference (ASP-DAC). Asia and South Pacific Design Automation Conference (ASP-DAC-2023), February 16-19, Tokyo, Japan, 2023.

2. Kemal Çağlar Coşkun; Muhammad Hassan; Rolf Drechsler

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

   In: Design, Automation and Test in Europe (DATE). Design, Automation & Test in Europe (DATE-2023), April 17-19, Antwerp, Belgium, 2023.

3. Ece Nur Demirhan Coskun; Muhammad Hassan; Mehran Goli; Rolf Drechsler

   VAST: Validation of VP-based Heterogeneous Systems against Availability Security Properties using Static Information Flow Tracking

   In: International Symposium on Quality Electronic Design (ISQED'23). International Symposium on Quality Electronic Design (ISQED-2023), April 5-7, San Francisco, CA, USA, 2023.

4. Ece Nur Demirhan Coskun; Muhammad Hassan; Rolf Drechsler

   Security Validation of VP-based Heterogeneous Systems: A Completeness-driven Perspective

   In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV). ITG/GMM/GI-Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen" (MBMV-2023), March 23-24, Freiburg, Germany, 2023.

5. 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 Schaltungen und Systemen (TuZ-2022), February 27 - March 1, Bremerhaven, Germany, 2022.

6. 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 Diagnostics of Electronic Circuits and Systems (DDECS-2022), April 6-8, Prague, Czech Republic, 2022.

7. 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, Germany, 2022.

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

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

• 1