Publications

Page 1 of 2.

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

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

   In: 37th International Conference on VLSI Design (VLSID). International Conference on VLSI Design (VLSID-2024), Kolkata, India, 1/2024.

2. Fatemeh Shirinzadeh; Kamalika Datta; Saeideh Shirinzadeh; Abhoy Kole; Rolf Drechsler

   Towards Formal Verification for MAC-based In-Memory Computing

   In: 33th IEEE Asian Test Symposium (ATS 2024). Asian Test Symposium (ATS-2025), December 17-20, Ahmedabad, India, 2024.

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

   Automated Equivalence Checking Method for Majority based In-Memory Computing on ReRAM Crossbars

   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.

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

   Verification of In-Memory Logic Design Using ReRAM Crossbars

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

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

6. Saeideh Shirinzadeh; Rolf Drechsler

   In-Memory-Computing Synthese und Optimierung

   Springer, 2023.

7. Kamalika Datta; Saeideh Shirinzadeh; Phrangboklang Lyngton Thangkhiew; Indranil Sengupta; Rolf Drechsler

   Unlocking Sneak Path Analysis in Memristor Based Logic Design Styles

   In: Euromicro Conference on Digital System Design (DSD). Euromicro Conference on Digital System Design (DSD), August 31 - September 2, Gran Canaria, Spain, 2022.

8. Kamalika Datta; Saman Froehlich; Saeideh Shirinzadeh; Dev Narayan; Yadav Indranil Sengupta; Rolf Drechsler

   Unlocking High Resolution Arithmetic Operations within Memristive Crossbars for Error Tolerant Applications

   In: IFIP/IEEE International Conference on Very Large Scale Integration (VLSI-SoC). IFIP/IEEE International Conference on Very Large Scale Integration (VLSI-SoC-2022), October 3-5, Patras, Greece, o.A, 2022.

9. Saman Fröhlich; Saeideh Shirinzadeh; Rolf Drechsler

   Parallel Computing of Graph-Based functions in ReRAM

   In: Journal on Emerging Technologies in Computing Systems (JETC), ACM, 2021.

10. Saman Fröhlich; Saeideh Shirinzadeh; Rolf Drechsler

    Multiply-Accumulate Enhanced BDD-Based Logic Synthesis on RRAM Crossbars

    In: IEEE International Symposium on Circuits & Systems (ISCAS). IEEE International Symposium on Circuits and Systems (ISCAS-2020), May 17-20, Sevilla, Spain, 2020.

• 1
• 2