Cyber-Physical Systems

Page 2 of 3.

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

2. Abhoy Kole; Kamalika Datta; Philipp Niemann; Indranil Sengupta; Rolf Drechsler

   Exploiting the Benefits of Clean Ancilla Based Toffoli Gate Decomposition Across Architectures

   In: 15th International Conference on Reversible Computation. International Conference on Reversible Computation (RC-2023), July 18-19, Gießen, …

3. Kamalika Datta; Abhoy Kole; Indranil Sengupta; Rolf Drechsler

   Improved Cost-Metric for Nearest Neighbor Mapping of Quantum Circuits to 2-Dimensional Hexagonal Architecture

   In: 15th Conference on Reversible Computation. International Conference on Reversible Computation (RC-2023), June 18-19, Giessen, Germany, 2023.

4. Arighna Deb; Kamalika Datta; Rolf Drechsler

   Equivalence Checking of Majority-based Function Mapping on ReRAM Crossbars

   In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV). ITG/GMM/GI-Workshop "Methoden und …

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. Kamalika Datta; Rolf Drechsler

   Memristors: Device Modeling, Design and Verification

   In: Proceedings of the 9th IEEE International Symposium on Smart Electronic Systems (iSES). IEEE International Symposium on Smart Electronic Systems …

7. Lennart Weingarten; Kamalika Datta; Rolf Drechsler

   PolyMiR: Polynomial Formal Verification of the MicroRV32 Processor

   In: 18th ACM International Symposium on Nanoscale Architectures (NANOARCH). IEEE / ACM International Symposium on Nanoscale Architectures …

8. Fanchun Lalchhandama; Kamalika Datta; Sandip Chakraborty; Rolf Drechsler; Indranil Sengupta

   CoMIC: Complementary Memristor based In-memory Computing in 3D Architecture

   In: Zonghua Gu (Hrsg.). Journal of Systems Architecture: Embedded Software Design (JSA), Vol. 126, No. 5, Pages 1-13, Science Direct, 5/2022.

9. Dev Narayan Yadav; Phrangboklang Lyngton Thangkhiew; Kamalika Datta; Sandip Chakraborty; Rolf Drechsler; Indranil Sengupta

   FAMCroNA: Fault Analysis in Memristive Crossbars for Neuromorphic Applications

   In: Vishwani Agrawal (Hrsg.). Journal of Electronic Testing: Theory and Applications (JETTA), Vol. 38, No. 2, Pages 1-44, Springer, 4/2022.

10. Kamalika Datta; Abhoy Kole; Indranil Sengupta; Rolf Drechsler

    Nearest Neighbor Mapping of Quantum Circuits to Two-Dimensional Hexagonal Qubit Architecture

    In: IEEE International Symposium on Multiple-Valued Logic. IEEE International Symposium on Multiple-Valued Logic (ISMVL-2022), Dallas, Texas, USA, …

• 1
• 2
• 3