Skip to main content Skip to main navigation

Publications

 

Due to maintenance work, it is currently not possible to search for publications by author.

Displaying results 31 to 40 of 724.
  1. Mohamed Nadeem; Jan Kleinekathöfer; Rolf Drechsler

    Polynomial Formal Verification exploiting Constant Cutwidth

    In: 34th International Workshop on Rapid System Prototyping (RSP). International Symposium on Rapid System Protoyping (RSP-2023), September 21, …

  2. Payam Habiby; Sebastian Huhn; Rolf Drechsler

    RC-IJTAG: A Methodology for Designing Remotely-Controlled IEEE 1687 Scan Networks

    In: 36th IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems (DFT). IEEE International Symposium on Defect …

  3. Efficient ML-Based Performance Estimation Approach across Different Microarchitectures for RISC-V Processors

    In: Euromicro Conference Series on Digital System Design (DSD). Euromicro Conference on Digital System Design (DSD-2023), September 6-8, Durres, …

  4. ReSG: A Data Structure for Verification of Majority based In-Memory Computing on ReRAM Crossbars

    In: ACM Transactions on Embedded Computing Systems (TECS), ACM, 2023.

  5. Muhammad Hassan; Thilo Vörtler; Karsten Einwich; Rolf Drechsler; Daniel Große

    Toward System-Level Assertions for Heterogeneous Systems

    In: Rolf Drechsler; Sebastian Huhn. Advanced Boolean Techniques. Pages 67-81, Springer, 2023.

  6. Marcel Merten; Mohammed E. Djeridane; Sebastian Huhn; Rolf Drechsler

    SAT-Based Key Determination Attack for Improving the Quality Assessment of Logic Locking Mechanisms

    In: Rolf Drechsler; Sebastian Huhn. Advanced Boolean Techniques. Pages 83-94, Springer, 2023.

  7. Start Small But Dream Big: On Choosing a Static Variable Order for Multiplier BDDs

    In: Rolf Drechsler; Sebastian Huhn. Advanced Boolean Techniques. Pages 115-169, Springer, 2023.

  8. Alireza Mahzoon; Rolf Drechsler

    Polynomial Formal Verification of Carry Look-Ahead Adders

    In: Bernd Steinbach. Advances in the Boolean Domain. Pages 93-114, ISBN 1-5275-8872-6, Cambridge Scholars Publishing, 2023.

  9. Rolf Drechsler; Sebastian Huhn

    Advanced Boolean Techniques

    Springer, 2023.