Publikation
Buse Ustaoglu; Sebastian Huhn; Rolf Drechsler
In: Workshop on Interdependent Challenges of Reliability, Security and Quality (RESCUE). Workshop on Interdependent Challenges of Reliability, Security and Quality (RESCUE-2021), located at Design, Automation and Test in Europe Conference (DATE 2021), February 1-5, Grenoble, France, 2021.
@inproceedings{pub11420, author = { Ustaoglu, Buse and Huhn, Sebastian and Drechsler, Rolf }, title = {A Memory-Upscaled Boolean Satisfiability Solver for Complex On-Chip Self-Verification Tasks}, booktitle = {Workshop on Interdependent Challenges of Reliability, Security and Quality (RESCUE). Workshop on Interdependent Challenges of Reliability, Security and Quality (RESCUE-2021), befindet sich Design, Automation and Test in Europe Conference (DATE 2021), February 1-5, Grenoble, France}, year = {2021} }
Deutsches Forschungszentrum für
Künstliche Intelligenz GmbH (DFKI)
Trippstadter Str. 122
67663 Kaiserslautern
Deutschland
Tel.: +49 631 20575 0
© DFKI, 2023