Abhoy Kole

34 papers A 3C 11Misc 2Journal 7Unranked 11
YearRankTypeTitle / Venue / Authors
2025 C conf
A Comprehensive Synthesis and Verification Approach for RRAM-Based Neuromorphic Computing.
DSD
Fatemeh Shirinzadeh, Abhoy Kole, Kamalika Datta, Saeideh Shirinzadeh, Rolf Drechsler
2025 — conf
Fast and Scalable MAGIC-Based Wallace Tree Multiplier for In-Memory Computing.
CCMCC
Saeideh Nabipour, Kamalika Datta, Abhoy Kole, Saeideh Shirinzadeh, Rolf Drechsler
2025 — conf
Multi-Input MAGIC Synthesis and Verification for In-Memory Computing Design.
ISMVL
Saeideh Nabipour, Kamalika Datta, Lennart Weingarten, Abhoy Kole, Rolf Drechsler
2025 C conf
System-Level Design Space Exploration for Matrix Multiplication using Compute-In-Memory Unit.
FDL
Deepak Ravibabu, Sallar Ahmadi-Pour, Muhammad Hassan, Abhoy Kole, Chandan Kumar Jha, Rolf Drechsler
2025 C conf
Towards an Automated Debugging Approach for Fault Identification in Quantum Circuits.
DDECS
Anton Maidl, Abhoy Kole, Kamalika Datta, Jannis Stoppe, Rolf Drechsler
2025 — conf
Unlocking the Benefits of Dynamic Quantum Circuits in Resource Constraint Architecture.
ISVLSI
Abhoy Kole, Mohammed E. Djeridane, Arighna Deb, Kamalika Datta, Indranil Sengupta, Rolf Drechsler
2025 J jnl
qSAT: Design of an Efficient Quantum Satisfiability Solver for Hardware Equivalence Checking.
ACM J. Emerg. Technol. Comput. Syst.
Abhoy Kole, Mohammed E. Djeridane, Lennart Weingarten, Kamalika Datta, Rolf Drechsler
2024 A conf
Complete and Efficient Verification for a RISC-V Processor Using Formal Verification.
DATE
Lennart Weingarten, Kamalika Datta, Abhoy Kole, Rolf Drechsler
2024 — conf
Design Automation Challenges and Benefits of Dynamic Quantum Circuit in Present NISQ Era and Beyond: (Invited Paper).
ISVLSI
Abhoy Kole, Kamalika Datta, Rolf Drechsler
2024 A conf
Dynamic Realization of Multiple Control Toffoli Gate.
DATE
Abhoy Kole, Arighna Deb, Kamalika Datta, Rolf Drechsler
2024 J jnl
Exploiting the Extended Neighborhood of Hexagonal Qubit Architecture for Mapping Quantum Circuits.
ACM J. Emerg. Technol. Comput. Syst.
Abhoy Kole, Kamalika Datta, Indranil Sengupta, Rolf Drechsler
2024 — conf
Exploring the Potential of Decision Diagrams for Efficient In-Memory Design Verification.
ACM Great Lakes Symposium on VLSI
Khushboo Qayyum, Abhoy Kole, Kamalika Datta, Muhammad Hassan, Rolf Drechsler
2024 — conf
Exploring the Potential of Dynamic Quantum Circuit for Improving Device Scalability.
SOCC
Abhoy Kole, Kamalika Datta, Rolf Drechsler
2024 Misc conf
In-Memory SAT-Solver for Self-Verification of Programmable Memristive Architectures.
VLSID
Fatemeh Shirinzadeh, Arighna Deb, Saeideh Shirinzadeh, Abhoy Kole, Kamalika Datta, Rolf Drechsler
2024 C conf
Is Simulation the only Alternative for Effective Verification of Dynamic Quantum Circuits?
RC
Liam Hurwitz, Kamalika Datta, Abhoy Kole, Rolf Drechsler
2024 — conf
Towards Formal Verification for MAC-based In-Memory Computing.
ATS
Fatemeh Shirinzadeh, Kamalika Datta, Saeideh Shirinzadeh, Abhoy Kole, Rolf Drechsler
2024 J jnl
qSAT: Design of an Efficient Quantum Satisfiability Solver for Hardware Equivalence Checking.
CoRR
Abhoy Kole, Mohammed E. Djeridane, Lennart Weingarten, Kamalika Datta, Rolf Drechsler
2023 C conf
Exploiting the Benefits of Clean Ancilla Based Toffoli Gate Decomposition Across Architectures.
RC
Abhoy Kole, Kamalika Datta, Philipp Niemann, Indranil Sengupta, Rolf Drechsler
2023 A conf
Extending the Design Space of Dynamic Quantum Circuits for Toffoli based Network.
DATE
Abhoy Kole, Arighna Deb, Kamalika Datta, Rolf Drechsler
2023 J jnl
Impact of sneak paths on in-memory logic design in memristive crossbars.
it Inf. Technol.
Kamalika Datta, Arighna Deb, Abhoy Kole, Rolf Drechsler
2023 C conf
Improved Cost-Metric for Nearest Neighbor Mapping of Quantum Circuits to 2-Dimensional Hexagonal Architecture.
RC
Kamalika Datta, Abhoy Kole, Indranil Sengupta, Rolf Drechsler
2023 — conf
Verification of In-Memory Logic Design using ReRAM Crossbars.
NEWCAS
Kamalika Datta, Arighna Deb, Fatemeh Shirinzadeh, Abhoy Kole, Saeideh Shirinzadeh, Rolf Drechsler
2022 — conf
Mapping Quantum Circuits to 2-Dimensional Quantum Architectures.
GI-Jahrestagung
Kamalika Datta, Abhoy Kole, Indranil Sengupta, Rolf Drechsler
2022 — conf
Nearest Neighbor Mapping of Quantum Circuits to Two-Dimensional Hexagonal Qubit Architecture.
ISMVL
Kamalika Datta, Abhoy Kole, Indranil Sengupta, Rolf Drechsler
2022 C conf
SAT-based Exact Synthesis of Ternary Reversible Circuits using a Functionally Complete Gate Library.
DSD
Abhoy Kole, Kamalika Datta, Indranil Sengupta, Rolf Drechsler
2020 J jnl
Improved Mapping of Quantum Circuits to IBM QX Architectures.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Abhoy Kole, Stefan Hillmich, Kamalika Datta, Robert Wille, Indranil Sengupta
2018 J jnl
A New Heuristic for N-Dimensional Nearest Neighbor Realization of a Quantum Circuit.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Abhoy Kole, Kamalika Datta, Indranil Sengupta
2017 C conf
Design of Efficient Quantum Circuits Using Nearest Neighbor Constraint in 2D Architecture.
RC
Leniency Marbaniang, Abhoy Kole, Kamalika Datta, Indranil Sengupta
2017 — conf
Exact Synthesis of Ternary Reversible Functions Using Ternary Toffoli Gates.
ISMVL
Abhoy Kole, P. Mercy Nesa Rani, Kamalika Datta, Indranil Sengupta, Rolf Drechsler
2017 C conf
Improved Decomposition of Multiple-Control Ternary Toffoli Gates Using Muthukrishnan-Stroud Quantum Gates.
RC
P. Mercy Nesa Rani, Abhoy Kole, Kamalika Datta, Indranil Sengupta
2017 Misc conf
Improved NCV Gate Realization of Arbitrary Size Toffoli Gates.
VLSID
Abhoy Kole, Kamalika Datta
2017 C conf
Test Pattern Generation Effort Evaluation of Reversible Circuits.
RC
Abhoy Kole, Robert Wille, Kamalika Datta, Indranil Sengupta
2016 J jnl
A Heuristic for Linear Nearest Neighbor Realization of Quantum Circuits by SWAP Gate Insertion Using N-Gate Lookahead.
IEEE J. Emerg. Sel. Topics Circuits Syst.
Abhoy Kole, Kamalika Datta, Indranil Sengupta
2015 C conf
Towards a Cost Metric for Nearest Neighbor Constraints in Reversible Circuits.
RC
Abhoy Kole, Kamalika Datta, Indranil Sengupta, Robert Wille