Dr.-Ing. Saeideh Shirinzadeh

Kontakt +49 421 218 63942 (Bremen)

Adresse (Bremen)

Publikationen

A Comprehensive Synthesis and Verification Approach for RRAM-Based Neuromorphic Computing
Fatemeh Shirinzadeh; Abhoy Kole; Kamalika Datta; Saeideh Shirinzadeh; Rolf Drechsler
In: 28th Euromicro Conference Series on Digital System Design (DSD). Euromicro Conference on Digital System Design (DSD-2025), September 10-12, Salerno, Italy, 2025.
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.