Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 301 bis 310 von 15099.

  1. Saeideh Nabipour; Saeideh Shirinzadeh; Rolf Drechsler

    A Design Automation Framework for Approximate MAGIC-Based Dadda Tree Multipliers in Memristive In-Memory Computing

    In: 29th Euromicro Conference Series on Digital System Design (DSD) 2026. Euromicro Conference on Digital System Design (DSD-2026), September 2-4, Krakau, Poland, 2026.

  2. Luca Müller; Mohamed Nadeem; Rolf Drechsler

    Scalability Matters: Future-Proof Formal Verification of a RISC-V Arithmetic Logic Unit

    In: 29th Euromicro Conference Series on Digital System Design (DSD) 2026. Euromicro Conference on Digital System Design (DSD-2026), September 2-4, Krakau, Poland, 2026.

  3. Sallar Ahmadi-Pour; Chandan Jha; Rolf Drechsler

    NPN-ApproxLib: DNN-Aware Approximate Multiplier Design via NPN Classes

    In: Proceedings of the 8th IEEE International Conference on Artificial Intelligence Circuits and Systems. IEEE International Conference on Artificial Intelligence Circuits and Systems (AICAS-2026), September 16-18, Ha Long Bay, Viet Nam, IEEE, 2026.

  4. Sallar Ahmadi-Pour; Luca Müller; Rolf Drechsler

    Exploring the Parameter Space for Constrained Random Verification of RISC-V CPUs

    In: Forum on specification & Design Languages (FDL). Forum on Specification & Design Languages (FDL-2026), September 9-11, Rom, Italy, 2026.

  5. Fynn Meyer; Leon Frölje; Lennart Weingarten; Kamalika Datta; Abhoy Kole; Christoph Lüth; Rolf Drechsler

    An Efficient Encoding for Subset Sum Problem Exploiting QFT-Based Arithmetic Operators

    In: International Conference on Quantum Computing and Engineering (QCE). IEEE International Conference on Quantum Computing and Engineering (QCE), September 13-18, IEEE, 2026.

  6. Catalin Bogdan Ciobanu; Sallar Ahmadi-Pour; Rolf Drechsler; Ingo Feldner

    Forging Robust Building Blocks for Next-Gen RISC-V Chips: Virtual Repository and IP Card

    In: 29th Euromicro Conference Series on Digital System Design (DSD) 2026. Euromicro Conference on Digital System Design (DSD-2026), September 2-4, Krakau, Poland, 2026.

  7. Martha Schnieber; Rolf Drechsler

    Synthesis for testability and verifiability: Polynomial formal verification and test pattern generation for KFDD circuits

    In: Microprocessors and Microsystems (MICPRO), Vol. 124, Science Direct, 2026.

  8. Khushboo Qayyum; Qurrat Ul Ain; Muhammad Hassan; Asjad Afnan Asjad Afnan; Rolf Drechsler

    Towards Reliable LLM-Assisted Verification Artifact Generation in EDA

    In: IEEE International Conference on Omni-Layer Intelligent Systems (COINS). IEEE International Conference on Omni-layer Intelligent Systems (IEEE COINS), September 7-9, Bologna, Italy, IEEE, 2026.

  9. Brian Moser; Shalini Sarode; Federico Raue; Stanislav Frolov; Krzysztof Adamkiewicz; Arundhati Shanbhag; Joachim Folz; Tobias Christian Nauen; Andreas Dengel

    PRISM: Diversifying Dataset Distillation by Decoupling Architectural Priors

    In: Transactions on Machine Learning Research (TMLR), Pages 1-17, Journal of Machine Learning Research, 1/2026.

  10. Chantale Lauer; Peter Pfeiffer; Nijat Mehdiyev

    Human-Centered Evaluation of an LLM-Based Process Modeling Copilot: A Mixed-Methods Study with Domain Experts

    CHI 2026 Workshop on Human-centered Evaluation and Auditing of Language Models, 3/2026.

Jahr

Mehr Optionen