Innovative Factory Systems

Publications

Page 4 of 59.

Sallar Ahmadi-Pour; Muhammad Hassan; Rolf Drechsler
Cross-Level Verification of Hardware Peripherals
In: RISC-V Summit Europe. RISC-V Summit Europe, June 24-28, München, Germany, 2024.
Christina Plump; Daniel C. Hoinkiss; Jörn Huber; Bernhard J. Berger; Matthias Günther; Christoph Lüth; Rolf Drechsler
Finding the perfect MRI sequence for your patient --- Towards an optimisation workflow for MRI-sequences
In: The IEEE World Congress on Computational Intelligence. IEEE World Congress on Computational Intelligence (WCCI-2024), June 30 - July 5, Yokohama, …
Khushboo Qayyum; Muhammad Hassan; Sallar Ahmadi-Pour; Chandan Jha; Rolf Drechsler
From Bugs to Fixes: HDL Bug Identification and Patching using LLMs and RAG
In: Proceedings of the First IEEE International Workshop on LLM-Aided Design (LAD'24). IEEE International Workshop on LLM-Aided Design (LAD-24), June …
Simranjeet Singh; Ankit Bende; Chandan Jha; Vikas Rana; Rolf Drechsler; Sachin Patkar; Farhad Merchant
In-Memory Mirroring: Cloning Without Reading
In: IFIP/IEEE International Conference on Very Large-Scale Integration (VLSI-SoC). IFIP/IEEE International Conference on Very Large Scale Integration …
Chandan Jha; Khushboo Qayyum; Kemal Çaglar Coskun; Simranjeet Singh; Muhammad Hassan; Rainer Leupers; Farhad Merchant; Rolf Drechsler
veriSIMPLER : An Automated Formal Verification Methodology for SIMPLER MAGIC Design Style Based In-Memory Computing
In: IEEE Transactions on Circuits and Systems I: Regular Papers, IEEE, 2024.
Muhammad Hassan; Daniel Große; Rolf Drechsler
Erweiterte virtuelle Prototypen für heterogene Systeme
Springer, 2024.
Kamalika Datta; Rolf Drechsler
Special issue on in-memory computing: Circuits, system, architecture and verification
In: Memories - Materials, Devices, Circuits and Systems, Vol. 5, Pages 1-3, Science Direct, 10/2023.
Rune Krauss; Mehran Goli; Rolf Drechsler
EDDY: A Multi-Core BDD Package With Dynamic Memory Management and Reduced Fragmentation
In: Proceedings of the 28th Asia and South Pacific Design Automation Conference (ASP-DAC). Asia and South Pacific Design Automation Conference …
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.

Links

Contact

Office:
Isabel Rheinheimer
Phone: +49 631 20575 3401
ifs-info@dfki.de

Deutsches Forschungszentrum für Künstliche Intelligenz GmbH (DFKI)
Research Department Innovative Factory Systems
Trippstadter Str. 122
67663 Kaiserslautern
Germany