Publications

Page 2 of 4.

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.
Jens Trommer; Niladri Bhattacharjee; Thomas Mikolajick; Sebastian Huhn; Marcel Merten; Mohammed E. Djeridane; Muhammad Hassan; Rolf Drechsler; Shubham Rai; Nima Kavand; Armin Darjani; Akash Kumar; Violetta Sessi; Maximilian Drescher; Sabine Kolodinski; Maciej Wiatr
Design Enablement Flow for Circuits with Inherent Obfuscation based on Reconfigurable Transistors
In: Design, Automation and Test in Europe Conference (DATE 2023). Design, Automation & Test in Europe (DATE-2023), April 17-19, Antwerp, Belgium, …
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 …
Kemal Çağlar Coşkun; Muhammad Hassan; Rolf Drechsler
New Directions for Equivalence Checking of System-Level and SPICE-Level Models of Linear Circuits
In: 35. GI/GMM/ITG Testmethoden und Zuverlässigkeit von Schaltungen und Systemen (TuZ). GI/GMM/ITG Workshop Testmethoden und Zuverlässigkeit von …
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 …
Marcel Merten; Muhammad Hassan; Rolf Drechsler
Quality Assessment of Logic Locking Mechanisms using Pseudo-Boolean Optimization Techniques
In: Marcel Merten; Muhammad Hassan; Rolf Drechsler (Hrsg.). 26th Design & Diagnostics of Electronic Circuits & Systems (DDECS). IEEE International …
Muhammad Hassan; Rolf Drechsler
Expanding RISC-V Horizons: Streamlining Heterogeneous Systems Evaluation with Open Source RISC-V AMS VP Framework
In: RISC-V Summit Europe 2023. RISC-V Summit Europe, June 5-9, Barcelona, Spain, 2023.
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, …
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.
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.