Skip to main content Skip to main navigation

Publications

Displaying results 1441 to 1450 of 14474.
  1. Chandan Jha; Ankit Bende; Xingyue Qian; Simranjeet Singh; Weikang Qian; Vikas Rana; Farhad Merchant; Rolf Drechsler

    Devices, Synthesis, Circuits, and Verification for Resistive RAM-Based Digital Computing-in-Memory

    In: Proceedings of the International Conference on Intelligent Computing and Systems at the Edge (ICEdge). International Conference on Intelligent Computing and Systems at the Edge (ICEdge-2025), December 18-20, Bangalore, India, 12/2025.

  2. Lennart Weingarten; Kamalika Datta; Rolf Drechsler

    Transformation-Aided Verification of MAC Designs using Symbolic Computer Algebra

    In: Design and Verification Conference & Exhibition Europe (DVCon Europe). Design and Verification Conference Europe (DVCon Europe), October 14-15, München, Germany, 2025.

  3. Kamalika Datta; Lennart Weingarten; Julen Larrucea; Abhoy Kole; Rolf Drechsler

    An Overview of Electronic Structure Problem using Quantum Computing in the NISQ Era

    In: Proceedings of the 6th International Conference on Frontiers in Computing and Systems (COMSYS). International Conference on Frontiers in Computing and Systems (COMSYS-2025), September 25-27, Warschau, Poland, 2025.

  4. Fault-Tolerant Character Recognition in Neuromorphic Systems Using RRAM Crossbar Arrays

    In: IEEE Nordic Circuits and Systems Conference (NorCAS). IEEE Nordic Circuits and Systems Conference (NorCAS-2025), October 21-23, Riga, Lithuania, IEEE, 2025.

  5. Performance Evaluation of MAGIC-ReRAM Arithmetic Circuits for Low-Latency In-Memory Computing

    In: IEEE Nordic Circuits and Systems Conference. IEEE Nordic Circuits and Systems Conference (NorCAS-2025), October 28-29, Riga, Lithuania, IEEE, 2025.

  6. Bernhard Berger; Christina Plump

    Automatic Security-Flaw Detection — Towards a Fair Evaluation and Comparison

    In: Software and Systems Modeling (SoSyM), Springer Science and Business Media LLC, 2025.

  7. Efficient Evolution of Variable Ordering for Binary Decision Diagram Optimization

    In: IEEE Transactions on Evolutionary Computation, Pages 1-11, IEEE, 5/2025.

  8. Khushboo Qayyum; Chandan Jha; Sallar Ahmadi-Pour; Muhammad Hassan; Rolf Drechsler

    LLM-assisted Bug Identification and Correction for Verilog HDL

    In: ACM Transactions on Design Automation of Electronic Systems (TODAES), Vol. 30, No. 06, Pages 1-28, ACM, 10/2025.

  9. Mohamed Nadeem; Luca Müller; Chandan Jha; Rolf Drechsler

    Advanced And-Inverter Graph Decomposition Technique for Reducing Circuit Complexity

    In: ACM Transactions on Design Automation of Electronic Systems (TODAES), ACM, 2025.