Publications

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 …

Weiyan Zhang; Mehran Goli; Muhammad Hassan; Rolf Drechsler

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, …

Kousik Bhunia; Arighna Deb; Kamalika Datta; Muhammad Hassan; Saeideh Shirinzadeh; Rolf Drechsler

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.

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.

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.

Khushboo Qayyum; Alireza Mahzoon; Rolf Drechsler

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.

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.

Martha Schnieber

Polynomial Formal Verification of Approximate Functions

Springer, 2023.

Rolf Drechsler; Sebastian Huhn

Advanced Boolean Techniques