Abhoy Kole

According to our database, Abhoy Kole authored at least 24 papers between 2015 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

qSAT: Design of an Efficient Quantum Satisfiability Solver for Hardware Equivalence Checking.

Abhoy Kole, Mohammed E. Djeridane, Lennart Weingarten, Kamalika Datta, Rolf Drechsler

CoRR, 2024

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

Fatemeh Shirinzadeh, Arighna Deb, Saeideh Shirinzadeh, Abhoy Kole, Kamalika Datta, Rolf Drechsler

Proceedings of the 37th International Conference on VLSI Design and 23rd International Conference on Embedded Systems, 2024

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

Liam Hurwitz, Kamalika Datta, Abhoy Kole, Rolf Drechsler

Proceedings of the Reversible Computation - 16th International Conference, 2024

Design Automation Challenges and Benefits of Dynamic Quantum Circuit in Present NISQ Era and Beyond: (Invited Paper).

Abhoy Kole, Kamalika Datta, Rolf Drechsler

Proceedings of the IEEE Computer Society Annual Symposium on VLSI, 2024

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

Khushboo Qayyum, Abhoy Kole, Kamalika Datta, Muhammad Hassan, Rolf Drechsler

Proceedings of the Great Lakes Symposium on VLSI 2024, 2024

Complete and Efficient Verification for a RISC-V Processor Using Formal Verification.

Lennart Weingarten, Kamalika Datta, Abhoy Kole, Rolf Drechsler

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2024

Dynamic Realization of Multiple Control Toffoli Gate.

Abhoy Kole, Arighna Deb, Kamalika Datta, Rolf Drechsler

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2024

2023

Impact of sneak paths on in-memory logic design in memristive crossbars.

Kamalika Datta, Arighna Deb, Abhoy Kole, Rolf Drechsler

it Inf. Technol., May, 2023

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

Abhoy Kole, Kamalika Datta, Philipp Niemann, Indranil Sengupta, Rolf Drechsler

Proceedings of the Reversible Computation - 15th International Conference, 2023

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

Kamalika Datta, Abhoy Kole, Indranil Sengupta, Rolf Drechsler

Proceedings of the Reversible Computation - 15th International Conference, 2023

Verification of In-Memory Logic Design using ReRAM Crossbars.

Kamalika Datta, Arighna Deb, Fatemeh Shirinzadeh, Abhoy Kole, Saeideh Shirinzadeh, Rolf Drechsler

Proceedings of the 21st IEEE Interregional NEWCAS Conference, 2023

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

Abhoy Kole, Arighna Deb, Kamalika Datta, Rolf Drechsler

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2023

2022

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

Kamalika Datta, Abhoy Kole, Indranil Sengupta, Rolf Drechsler

Proceedings of the 52nd IEEE International Symposium on Multiple-Valued Logic, 2022

Mapping Quantum Circuits to 2-Dimensional Quantum Architectures.

Kamalika Datta, Abhoy Kole, Indranil Sengupta, Rolf Drechsler

Proceedings of the 52. Jahrestagung der Gesellschaft für Informatik, INFORMATIK 2022, Informatik in den Naturwissenschaften, 26., 2022

SAT-based Exact Synthesis of Ternary Reversible Circuits using a Functionally Complete Gate Library.

Abhoy Kole, Kamalika Datta, Indranil Sengupta, Rolf Drechsler

Proceedings of the 25th Euromicro Conference on Digital System Design, 2022

2020

Improved Mapping of Quantum Circuits to IBM QX Architectures.

Abhoy Kole, Stefan Hillmich, Kamalika Datta, Robert Wille, Indranil Sengupta

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020

2018

A New Heuristic for N-Dimensional Nearest Neighbor Realization of a Quantum Circuit.

Abhoy Kole, Kamalika Datta, Indranil Sengupta

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2018

2017

Improved NCV Gate Realization of Arbitrary Size Toffoli Gates.

Abhoy Kole, Kamalika Datta

Proceedings of the 30th International Conference on VLSI Design and 16th International Conference on Embedded Systems, 2017

Improved Decomposition of Multiple-Control Ternary Toffoli Gates Using Muthukrishnan-Stroud Quantum Gates.

P. Mercy Nesa Rani, Abhoy Kole, Kamalika Datta, Indranil Sengupta

Proceedings of the Reversible Computation - 9th International Conference, 2017

Design of Efficient Quantum Circuits Using Nearest Neighbor Constraint in 2D Architecture.

Leniency Marbaniang, Abhoy Kole, Kamalika Datta, Indranil Sengupta

Proceedings of the Reversible Computation - 9th International Conference, 2017

Test Pattern Generation Effort Evaluation of Reversible Circuits.

Abhoy Kole, Robert Wille, Kamalika Datta, Indranil Sengupta

Proceedings of the Reversible Computation - 9th International Conference, 2017

Exact Synthesis of Ternary Reversible Functions Using Ternary Toffoli Gates.

Abhoy Kole, P. Mercy Nesa Rani, Kamalika Datta, Indranil Sengupta, Rolf Drechsler

Proceedings of the 47th IEEE International Symposium on Multiple-Valued Logic, 2017

2016

A Heuristic for Linear Nearest Neighbor Realization of Quantum Circuits by SWAP Gate Insertion Using N-Gate Lookahead.

Abhoy Kole, Kamalika Datta, Indranil Sengupta

IEEE J. Emerg. Sel. Topics Circuits Syst., 2016

2015

Towards a Cost Metric for Nearest Neighbor Constraints in Reversible Circuits.

Abhoy Kole, Kamalika Datta, Indranil Sengupta, Robert Wille

Proceedings of the Reversible Computation - 7th International Conference, 2015