Embedded Intelligence

Page 1 of 3.

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. Lennart Weingarten; Kamalika Datta; Abhoy Kole; Rolf Drechsler

   Complete and Efficient Verification for a RISC-V Processor using Formal Verification

   In: Design, Automation and Test in Europe Conference (DATE). Design, Automation & Test in Europe (DATE-2024), March 25-27, Valencia, Spain, 2024.

3. Abhoy Kole; Arighna Deb; Kamalika Datta; Rolf Drechsler

   Dynamic Realization of Multiple Control Toffoli Gate

   In: Design, Automation and Test in Europe Conference (DATE). Design, Automation & Test in Europe (DATE-2024), March 25 - February 27, Valencia, Spain, …

4. Soumya Sengupta; Abhoy Kole; Kamalika Datta; Indranil Sengupta; Rolf Drechsler

   AQuCiDe: Architecture Aware Decomposition of Quantum Circuits

   In: Himanshu Thapliyal; Travis Humble. Quantum Computing: Circuits, Systems, Automation and Applications. Pages 69-87, Springer, 2024.

5. Liam Hurwitz; Kamalika Datta; Abhoy Kole; Rolf Drechsler

   Is Simulation the Only Alternative for Effective Verification of Dynamic Quantum Circuits?

   In: 16th Conference on Reversible Computation. International Conference on Reversible Computation (RC-2024), July 4-5, Torun, Poland, 2024.

6. Khushboo Qayyum; Abhoy Kole; Kamalika Datta; Muhammad Hassan; Rolf Drechsler

   Exploring the Potential of Decision Diagrams for Efficient In-Memory Design Verification

   In: 34th Great Lakes Symposium on VLSI (GLSVLSI). ACM Great Lakes Symposium on VLSI (GLSVLSI-2024), June 12-14, Tampa Bay Area, USA, o.A, 2024.

7. Kamalika Datta; Rolf Drechsler

   Special issue on in-memory computing: Circuits, system, architecture and verification

   In: Memories - Materials, Devices, Circuits and Systems, Vol. 5, Pages 1-3, Science Direct, 10/2023.

8. 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 …

9. Abhoy Kole; Arighna Deb; Kamalika Datta; Rolf Drechsler

   Extending the Design Space of Dynamic Quantum Circuits for Toffoli based Network

   In: Design, Automation and Test in Europe (DATE). Design, Automation & Test in Europe (DATE-2023), April 17-19, Antwerp, Belgium, 2023.

10. Kamalika Datta; Arighna Deb; Abhoy Kole; Rolf Drechsler

    Impact of Sneak Paths on In-Memory Logic Design in Memristive Crossbars Information Technology

    In: IT - information technology (IT), Degruyter, 2023.

• 1
• 2
• 3
• 3
• next