Skip to main content Skip to main navigation

Publications

Search narrowed by:

Year: 2024
Remove all filters
Displaying results 21 to 30 of 212.

  1. Sallar Ahmadi-Pour; Muhammad Hassan; Rolf Drechsler

    Cross-Level Verification of Hardware Peripherals

    In: RISC-V Summit Europe. RISC-V Summit Europe, June 24-28, München, Germany, 2024.

  2. Jan Zielasko; Rune Krauss; Marcel Merten; Rolf Drechsler

    RISC-V Opt-VP: An Application Analysis Platform Using Bounded Execution Trees

    In: RISC-V Summit Europe. RISC-V Summit Europe, June 24-28, München, Germany, 2024.

  3. Abhoy Kole; Kamalika Datta; Rolf Drechsler

    Design Automation Challenges and Benefits of Dynamic Quantum Circuit in Present NISQ Era and Beyond

    In: International Workshop on Quantum Computing: Circuits Systems Automation and Applications. IEEE Computer Society Annual Symposium on VLSI …

  4. Christina Plump; Daniel C. Hoinkiss; Jörn Huber; Bernhard J. Berger; Matthias Günther; Christoph Lüth; Rolf Drechsler

    Finding the perfect MRI sequence for your patient --- Towards an optimisation workflow for MRI-sequences

    In: The IEEE World Congress on Computational Intelligence. IEEE World Congress on Computational Intelligence (WCCI-2024), June 30 - July 5, Yokohama, …

  5. Bernhard J. Berger; Christina Plump; Lauren Paul; Rolf Drechsler

    EvoAl — Codeless Domain-Optimisation

    In: The Genetic and Evolutionary Computation Conference (GECCO). Genetic and Evolutionary Computation Conference (GECCO-2024), July 14-18, Melbourne, …

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

    From Bugs to Fixes: HDL Bug Identification and Patching using LLMs and RAG

    In: Proceedings of the First IEEE International Workshop on LLM-Aided Design (LAD'24). IEEE International Workshop on LLM-Aided Design (LAD-24), June …

  7. Saeideh Nabipour; Javad Javidan; Rolf Drechsler

    Trends and challenges in design of embedded BCH error correction codes in multi-levels NAND flash memory devices

    In: Memories - Materials, Devices, Circuits and Systems, Vol. 07, Elsevier, 2024.

  8. Chandan Jha; Muhammad Hassan; Rolf Drechsler

    cecApprox: Enabling Automated Combinational Equivalence Checking for Approximate Circuits

    In: IEEE Transactions on Circuits and Systems I: Regular Papers, IEEE, 2024.

  9. Pascal Pieper; Rolf Drechsler

    Formal and Practical Techniques for the Complex System Design Process using Virtual Prototypes

    Springer, 2024.

  10. M. Liu; V. Rey; Y. Zhang; L. Swarup Ray; B. Zhou; P. Lukowicz

    iMove: Exploring Bio-Impedance Sensing for Fitness Activity Recognition

    In: 2024 IEEE International Conference on Pervasive Computing and Communications (PerCom). IEEE International Conference on Pervasive Computing and …

Year