Skip to main content Skip to main navigation

Robotics Innovation Center

Publications

Page 1 of 2.

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

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

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

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

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

    AQuCiDe: Architecture Aware Quantum Circuit Decomposition

    In: 2022 International Symposium on Quantum Computing: Circuits Systems Automation and Applications (QC-CSAA). International Symposium on Quantum …

Contact

Main site in Bremen

Phone: +49 421 17845 0
Fax: +49 421 17845 4150


Deutsches Forschungszentrum für Künstliche Intelligenz GmbH (DFKI)
Robotics Innovation Center
Robert-Hooke-Str. 1
28359 Bremen
Germany