Robotics Innovation Center

Publications

Page 3 of 59.

Khushboo Qayyum; Muhammad Hassan; Sallar Ahmadi-Pour; Chandan Kumar Jha; Rolf Drechsler
Late Breaking Results: LLM-assisted Automated Incremental Proof Generation for Hardware Verification
In: 61st Design Automation Conference (DAC). Design Automation Conference (DAC-2024), June 23-27, San Francisco, USA, 2024.
Kemal Çağlar Coşkun; Muhammad Hassan; Lars Hedrich; Rolf Drechsler
Efficient Equivalence Checking of Nonlinear Analog Circuits using Gradient Ascent
In: 61st Design Automation Conference (DAC). Design Automation Conference (DAC), June 23-27, San Francisco, USA, 2024.
Sana Hassan Imam; Christopher Alexander Metz; Rolf Drechsler
How Can Generative AI Curate the User Creativity on an Idea Crowdsourcing Platform?
In: ACM CHI 24 Workshop on Generative AI in User-Generated Content. Generative AI in User-Generated Content Workshop, located at CHI 2024, May 12, …
Marcel Merten; Mohammed E. Djeridane; Muhammad Hassan; Niladri Bhattacharjee; Jens Trommer; Thomas Mikolajick; Rolf Drechsler
Enhancing Resilience against Sequential Attacks on Logic Locking using Evolutionary Strategies
In: 36. GI/GMM/ITG Testmethoden und Zuverlässigkeit von Schaltungen und Systemen (TuZ). GI/GMM/ITG Workshop Testmethoden und Zuverlässigkeit von …
Pascal Pieper; Rolf Drechsler
Formal and Practical Techniques for the Complex System Design Process using Virtual Prototypes
Springer, 2024.
Chandan Jha; Muhammad Hassan; Rolf Drechsler
cecApprox: Enabling Automated Combinational Equivalence Checking for Approximate Circuits
In: IEEE Transactions on Circuits and Systems I: Regular Papers, IEEE, 2024.
Saeideh Nabipour; Javad Javidan; Rolf Drechsler
Trends and challenges in design of embedded BCH error correction codes in multi-levels NAND flash memory devices
In: Memories - Materials, Devices, Circuits and Systems, Vol. 07, Elsevier, 2024.
Bernhard J. Berger; Christina Plump; Lauren Paul; Rolf Drechsler
EvoAl — Codeless Domain-Optimisation
In: The Genetic and Evolutionary Computation Conference (GECCO). Genetic and Evolutionary Computation Conference (GECCO-2024), July 14-18, Melbourne, …
Abhoy Kole; Kamalika Datta; Rolf Drechsler
Design Automation Challenges and Benefits of Dynamic Quantum Circuit in Present NISQ Era and Beyond
In: International Workshop on Quantum Computing: Circuits Systems Automation and Applications. IEEE Computer Society Annual Symposium on VLSI …
Jan Zielasko; Rune Krauss; Marcel Merten; Rolf Drechsler
RISC-V Opt-VP: An Application Analysis Platform Using Bounded Execution Trees
In: RISC-V Summit Europe. RISC-V Summit Europe, June 24-28, München, Germany, 2024.

Links

Robotics Innovation Center

Late Breaking Results: LLM-assisted Automated Incremental Proof Generation for Hardware Verification

Efficient Equivalence Checking of Nonlinear Analog Circuits using Gradient Ascent

How Can Generative AI Curate the User Creativity on an Idea Crowdsourcing Platform?

Enhancing Resilience against Sequential Attacks on Logic Locking using Evolutionary Strategies

Formal and Practical Techniques for the Complex System Design Process using Virtual Prototypes

cecApprox: Enabling Automated Combinational Equivalence Checking for Approximate Circuits

Trends and challenges in design of embedded BCH error correction codes in multi-levels NAND flash memory devices

EvoAl — Codeless Domain-Optimisation

Design Automation Challenges and Benefits of Dynamic Quantum Circuit in Present NISQ Era and Beyond

RISC-V Opt-VP: An Application Analysis Platform Using Bounded Execution Trees

Links

Contact

Main site in Bremen