Skip to main content Skip to main navigation

Publications

Displaying results 681 to 690 of 13790.

  1. Mohamed Nadeem; Chandan Kumar Jha; Rolf Drechsler

    Polynomial Formal Verification of Sequential Circuits using Weighted-AIGs

    In: Design, Automation and Test in Europe Conference (DATE). Design, Automation & Test in Europe (DATE-2025), March 31 - April 2, Lyon, France, 2025.

  2. Ruidi Qiu; Grace Li Zhang; Rolf Drechsler; Ulf Schlichtmann; Bing Li

    CorrectBench: Automatic Testbench Generation with Functional Self-Correction using LLMs for HDL Design

    In: Design, Automation and Test in Europe Conference (DATE). Design, Automation & Test in Europe (DATE-2025), March 31 - April 2, Lyon, France, 2025.

  3. Rune Krauss; Jan Zielasko; Rolf Drechsler

    FrEDDY: Modular and Efficient Framework to Engineer Decision Diagrams Yourself

    In: Design, Automation and Test in Europe Conference (DATE). Design, Automation & Test in Europe (DATE-2025), March 31 - April 2, Lyon, France, 2025.

  4. Chandan Kumar Jha; Khushboo Qayyum; Muhammad Hassan; Rolf Drechsler

    Correct and Verify - CAV: Exploiting Binary Decision Diagrams to Enable Formal Verification of Approximate Adders with Correct Carry Bits

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

  5. Chandan Kumar Jha; Khushboo Qayyum; Muhammad Hassan; Rolf Drechsler

    Extend and Reduce Methodology to Enable Formal Verification of Truncated Adders

    In: IT - information technology (IT), Degruyter, 2024.

  6. Sajjad Parvin; Sallar Ahmadi-Pour; Chandan Kumar Jha; Frank Sill Torres; Rolf Drechsler

    Lower the RISC: Designing optical-probing-attack-resistant cores

    In: Microprocessors and Microsystems (MICPRO), Vol. 111, Elsevier, 2024.

  7. Fabrice Katzberg; Marco Maass; Alfred Mertins

    Doppler frequency analysis for sound-field sampling with moving microphones

    In: Frontiers in Signal Processing, Vol. 4, Pages 1-1, Frontiers Media SA, 2024.

  8. Mike Reichardt; Michael Gundall; Daniel Buch; Philip Stricker; Hans Dieter Schotten

    Artificial Intelligence meets Digital Twin: The AI Asset Administration Shell

    In: 2024 ONCON - The 3rd IEEE Industrial Electronics Society Annual Online Conference. IEEE Industrial Electronics Society Annual Online Conference (ONCON-2024), December 8-10, IEEE, 2024.

  9. Wei Jiang; Bin Han

    Cellular Communication Networks and Standards: The Evolution from 1G to 6G

    ISBN 978-3031578199, Springer, 2024.

  10. Mai Geisen; Abhishek Samanta; Khaleel Asyraaf Mat Sanusi; Nghia Duong-Trung; Milos Kravcik; Stefanie Klatt

    Visual and Tactile Information Provision in Golf: Conceptualization of a Training Application Incorporating Wearable Devices and Extended Reality

    In: 2024 21st International Conference on Information Technology Based Higher Education and Training. International Conference on Information Technology Based Higher Education and Training (ITHET-2024), November 6-8, Paris, France, ISBN 979-8-3315-1663-5, IEEE, 11/2024.

Year

More options