Dr.-Ing. Saeideh Shirinzadeh

Publications

1. In-Memory SAT-Solver for Self-Verification of Programmable Memristive Architectures

   Fatemeh Shirinzadeh; Arighna Deb; Saeideh Shirinzadeh; Abhoy Kole; Kamalika Datta; Rolf Drechsler

   In: 37th International Conference on VLSI Design (VLSID). International Conference on VLSI Design (VLSID-2024), Kolkata, India, 1/2024.
2. Automated Equivalence Checking Method for Majority based In-Memory Computing on ReRAM Crossbars

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

   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.
3. Verification of In-Memory Logic Design Using ReRAM Crossbars

   Kamalika Datta; Arighna Deb; Fatemeh Shirinzadeh; Abhoy Kole; Saeideh Shirinzadeh; Rolf Drechsler

   In: 21st IEEE Interregional NEWCAS Conference. IEEE Interregional NEWCAS Conference (NEWCAS-2023), June 26-28, Edinburgh, United Kingdom, 2023.