Cyber-Physical Systems

Seite 3 von 4.

1. Chandan Kumar Jha; Khushboo Qayyum; Kemal Caglar Coskun; Simranjeet Singh; Muhammad Hassan; Rainer Leupers; Farhad Merchant; Rolf Drechsler

   Automated Formal Verification Methodology for MAGIC Design Style Based In-Memory Computing

   In: 32nd International Workshop on Logic & Synthesis. International Workshop on Logic & Synthesis (IWLS-2023), 32nd, June 5-6, Lausanne, Switzerland, …

2. Muhammad Hassan; Thilo Vörtler; Karsten Einwich; Rolf Drechsler; Daniel Große

   Toward System-Level Assertions for Heterogeneous Systems

   In: Rolf Drechsler; Sebastian Huhn. Advanced Boolean Techniques. Pages 67-81, Springer, 2023.

3. Kousik Bhunia; Arighna Deb; Kamalika Datta; Muhammad Hassan; Saeideh Shirinzadeh; Rolf Drechsler

   ReSG: A Data Structure for Verification of Majority based In-Memory Computing on ReRAM Crossbars

   In: ACM Transactions on Embedded Computing Systems (TECS), ACM, 2023.

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

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 …

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 …

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

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

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

10. 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 …

• vorherige
• 1
• …
• 2
• 3
• 4