Dr.-Ing. Saeideh Shirinzadeh

Contact +49 421 218 63942 (Bremen)

Address (Bremen)

Publications

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.
Towards Formal Verification for MAC-based In-Memory Computing
Fatemeh Shirinzadeh; Kamalika Datta; Saeideh Shirinzadeh; Abhoy Kole; Rolf Drechsler
In: 33th IEEE Asian Test Symposium (ATS 2024). Asian Test Symposium (ATS-2025), December 17-20, Ahmedabad, India, 2024.
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.