Publikationen

Seite 3 von 57.

Arighna Deb; Kamalika Datta; Muhammad Hassan; Saeideh Shirinzadeh; Rolf Drechsler
Automated Equivalence Checking Method for Majority based In-Memory Computing on ReRAM Crossbars
In: Proceedings of the 28th Asia and South Pacific Design Automation Conference (ASP-DAC). Asia and South Pacific Design Automation Conference …
Jan Kleinekathöfer; Alireza Mahzoon; Rolf Drechsler
Polynomial Formal Verification of Floating Point Adders
In: Design, Automation and Test in Europe Conference (DATE). Design, Automation & Test in Europe (DATE-2023), April 17-19, Antwerp, Belgium, 2023.
Niklas Bruns; Vladimir Herdt; Rolf Drechsler
Processor Verification using Symbolic Execution: A RISC-V Case-Study
In: Design, Automation and Test in Europe Conference (DATE). Design, Automation & Test in Europe (DATE-2023), April 17-19, Antwerp, Belgium, 2023.
Kemal Çağlar Coşkun; Muhammad Hassan; Rolf Drechsler
Equivalence Checking of System-Level and SPICE-Level Models of Static Nonlinear Circuits
In: Design, Automation and Test in Europe (DATE). Design, Automation & Test in Europe (DATE-2023), April 17-19, Antwerp, Belgium, 2023.
Sajjad Parvin; Mehran Goli; Frank Sill Torres; Rolf Drechsler
FELOPi: A Framework for Simulation and Evaluation of Post-Layout File Against Optical Probing
In: Design, Automation and Test in Europe (DATE). Design, Automation & Test in Europe (DATE-2023), April 17-19, Antwerp, Belgium, 2023.
Abhoy Kole; Arighna Deb; Kamalika Datta; Rolf Drechsler
Extending the Design Space of Dynamic Quantum Circuits for Toffoli based Network
In: Design, Automation and Test in Europe (DATE). Design, Automation & Test in Europe (DATE-2023), April 17-19, Antwerp, Belgium, 2023.
Sajjad Parvin; Mehran Goli; Frank Sill Torres; Rolf Drechsler
Trojan-D2: Post-Layout Design and Detection of Stealthy Hardware Trojans - a RISC-V Case Study
In: Proceedings of the 28th Asia and South Pacific Design Automation Conference (ASP-DAC). Asia and South Pacific Design Automation Conference …
Tim Meywerk; Vladimir Herdt; Rolf Drechsler
Coverage-guided Fuzzing for Plan-based Robotics
In: 15th International Conference on Agents and Artificial Intelligence (ICAART). International Conference on Agents and Artificial Intelligence …
Payam Habiby; Sebastian Huhn; Rolf Drechsler
Remote Configuration Methodology for IEEE 1687 Scan Networks
In: 35. GI/GMM/ITG Testmethoden und Zuverlässigkeit von Schaltungen und Systemen (TuZ). GI/GMM/ITG Workshop Testmethoden und Zuverlässigkeit von …
Jens Trommer; Niladri Bhattacharjee; Thomas Mikolajick; Sebastian Huhn; Marcel Merten; Mohammed E. Djeridane; Muhammad Hassan; Rolf Drechsler; Shubham Rai; Nima Kavand; Armin Darjani; Akash Kumar; Violetta Sessi; Maximilian Drescher; Sabine Kolodinski; Maciej Wiatr
Design Enablement Flow for Circuits with Inherent Obfuscation based on Reconfigurable Transistors
In: Design, Automation and Test in Europe Conference (DATE 2023). Design, Automation & Test in Europe (DATE-2023), April 17-19, Antwerp, Belgium, …