Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 1121 bis 1130 von 15045.

  1. Sajjad Parvin; Chandan Kumar Jha; Frank Sill Torres; Rolf Drechsler

    True-PolyTronik: Securing Circuits Against Laser Logic State Imaging Attack Using RFET

    In: 38th International Conference on VLSI Design. International Conference on VLSI Design (VLSID-2025), 38th, January 4-8, Bengaluru, India, 2025.

  2. 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.

  3. 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.

  4. 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.

  5. Malte Wirkus; Jonathan Babel; Christian Backe

    Advantages of Active and Passive Suspension Systems in Obstacle Negotiation for Planetary Rovers

    In: Karsten Berns; Mohammad Osman Tokhi; Arne Roennau; Manuel F. Silva; Rüdiger Dillmann (Hrsg.). Walking Robots into Real World. International Conference on Climbing and Walking Robots and the Support Technologies for Mobile Machines (CLAWAR-2024), September 4-6, Kaiserslautern, Germany, Pages 169-180, Lecture Notes in Networks and Systems, Vol. 1115, No. 2, ISBN 978-3-031-71300-2 978-3-031-71301-9, Springer Nature Switzerland, Cham, 1/2025.

  6. Alexander Mock; Martin Magnusson; Joachim Hertzberg

    RadaRays: Real-time Simulation of Rotating FMCW Radar for Mobile Robotics via Hardware-accelerated Ray Tracing

    In: IEEE Robotics and Automation Letters (RA-L), Vol. 10, No. 3, Pages 2470-2477, IEEE Press, 3/2025.

  7. Mohamed Nadeem; Chandan Jha; Rolf Drechsler

    Polynomial Formal Verification of Multi-Valued Approximate Circuits within Constant Cutwidth

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

  8. Martha Schnieber; Rolf Drechsler

    Automated polynomial formal verification using generalized binary decision diagram patterns

    In: Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences, Vol. 383, No. 2288, Page 20230390, The Royal Society Publishing, 1/2025.

  9. Mohamed Nadeem; Rolf Drechsler

    Linear Formal Verification of Multi-Valued Logic Circuits within Constant Cutwidth Architectures

    In: Journal of Multiple-Valued Logic and Soft Computing, Vol. 09, Old City Publishing, 2025.

  10. Alice Chase; Margarita Chikobava; Matthieu Deru; Christian Hauck; Peter Poller; Alassane Ndiaye; Thomas Achim Schmeyer; Ralf Gampfer; Boris Brandherm

    Multimodales Fenster in die Vergangenheit der ehemaligen Vauban-Festung Saarlouis mittels ChatGPT

    In: Thomas Barton; Christian Müller. Angewandte Wirtschaftsinformatik - Generative KI im Kontext der Wirtschaftsinformatik. Pages 1-19, Springer Vieweg, Wiesbaden, 7/2025.

Jahr

Mehr Optionen