AQuCiDe: Architecture Aware Decomposition of Quantum Circuits
Autor: Soumya Sengupta, Abhoy Kole, Kamalika Datta, Indranil Sengupta, Rolf Drechsler
Buchtitel: Quantum Computing: Circuits, Systems, Automation and Applications | Herausgeber: Himanshu Thapliyal, Travis Humble
Verlag: Springer
DOI:10.1007/978-3-031-37966-6, pp. 69-87, 2024
Polynomial Formal Verification of Carry Look-Ahead Adders
Autor: Alireza Mahzoon, Rolf Drechsler
Buchtitel: Advances in the Boolean Domain | Herausgeber: Bernd Steinbach
Verlag: Cambridge Scholars Publishing
ISBN: 1-5275-8872-6, pp. 93-114, 2023
Start Small But Dream Big: On Choosing a Static Variable Order for Multiplier BDDs
Autor: Khushboo Qayyum, Alireza Mahzoon, Rolf Drechsler
Buchtitel: Advanced Boolean Techniques | Herausgeber: Rolf Drechsler, Sebastian Huhn (Eds.)
Verlag: Springer
DOI 10.1007/978-3-031-28916-3, pp. 155-169, 2023
SAT-Based Key Determination Attack for Improving the Quality Assessment of Logic Locking Mechanisms
Autor: Marcel Merten, Mohammed E. Djeridane, Sebastian Huhn, Rolf Drechsler
Buchtitel: Advanced Boolean Techniques | Herausgeber: Rolf Drechsler, Sebastian Huhn (Eds.)
Verlag: Springer
DOI 10.1007/978-3-031-28916-3, pp. 83-94, 2023
Toward System-Level Assertions for Heterogeneous Systems
Autor: Muhammad Hassan, Thilo Vörtler, Karsten Einwich, Rolf Drechsler, Daniel Große
Buchtitel: Advanced Boolean Techniques | Herausgeber: Rolf Drechsler, Sebastian Huhn (Eds.)
Verlag: Springer
DOI 10.1007/978-3-031-28916-3, pp. 67-81, 2023
Empowering the Design of Reversible and Quantum Logic with Decision Diagrams
Autor: Robert Wille, Philipp Niemann, Alwin Zulehner and Rolf Drechsler
Buchtitel: Emerging Computing: From Devices to Systems | Herausgeber: Mohamed M. Sabry Aly, Anupam Chattopadhyay
Verlag: Springer
Hardcover, eBook, pp. 355–369, 2022
Programmieren mit Arduinos
Autor: Cornelia Große, Sebastian Huhn, Markus Leuschner
Buchtitel: Schule in Farbigen Zuständen - Lernmodule für den 5. Jahrgang | Herausgeber: Lutz Mädler, Claudia Sobich
Verlag: OpenAccess
pp. 37-82, 2022
Automatisierte Analyse virtueller Prototypen auf der ESL
Autor: Mehran Goli
Buchtitel: Ausgezeichnete Informatikdissertationen 2019 | Herausgeber: S. Hölldobler et al.
Verlag: GI
Paperback, pp. 89-98, 2019
Das Bremen Ambient Assisted Living Lab und darüber hinaus – Intelligente Umgebungen, smarte Services und Künstliche Intelligenz in der Medizin für den Menschen
Autor: Serge Autexier, Christoph Lüth, Rolf Drechsler
Buchtitel: Künstliche Intelligenz im Gesundheitswesen | Herausgeber: Mario A. Pfannstiel
Verlag: Springer
Hardcover, pp. 835-850, 2022
Verbessertes Virtual Prototyping für den Entwurfsablauf
Autor: Vladimir Herdt
Buchtitel: Ausgezeichnete Informatikdissertationen 2020 | Herausgeber: S. Hölldobler et al.
Verlag: GI
Paperback, pp. 119-128, 2021
Intelligent Umgeben: Ausgewählte Einblicke in 10 Jahre Bremen Ambient Assisted Living Lab
Autor: Serge Autexier, Rolf Drechsler
Buchtitel: Smart City – Made in Germany | Herausgeber: Etezadzadeh, Chirine
Verlag: Springer
gebunden, pp. 671-682, 2020
Automatic Design of Microfluidic
Devices: An Overview of Platforms
and Corresponding Design Tasks
Autor: Robert Wille, Bing Li, Rolf Drechsler, and Ulf Schlichtmann
Buchtitel: Languages, Design Methods, and Tools for Electronic System Design: Selected Contributions from FDL 2018 | Herausgeber: Tom J. Kazmierski, Sebastian Steinhorst, Daniel Große
Verlag: Springer
Hardcover, pp. 71-88, 2020
Extensible and Configurable RISC-V Based Virtual Prototype
Autor: Vladimir Herdt, Daniel Große, Hoang M. Le, Rolf Drechsler
Buchtitel: Languages, Design Methods, and Tools for Electronic System Design: Selected Contributions from FDL 2018 | Herausgeber: Tom J. Kazmierski, Sebastian Steinhorst, Daniel Große
Verlag: Springer
Hardcover, pp. 115-134, 2020
Approximate Memory: Data Storage in the Context of Approximate Computing
Autor: Saman Fröhlich, Daniel Große, Rolf Drechsler
Buchtitel: Information Storage
| Herausgeber: Cornelia S. Große, Rolf Drechsler
Verlag: Springer
Hardcover, pp. 111-133, 2019
An Efficient Nearest Neighbor Design for 2D Quantum Circuits
Autor: A. Bhattacharjee, C. Bandyopadhyay, B. Mondal, Robert Wille, Rolf Drechsler, H. Rahaman
Buchtitel: Design and Testing of Reversible Logic | Herausgeber: Ashutosh Kumar SinghMasahiro FujitaAnand Mohan
Verlag: Springer
gebunden, pp. Pages 215-231, 2020
Assistenzsysteme der Zukunft – Nutzen und Potenzial künstlicher Intelligenz
Autor: Rolf Drechsler, Christoph Lüth
Buchtitel: Brauchen wir eine neue Staatskunst? | Herausgeber: Henning Lühr
Verlag: Kellner Verlag
Gebunden, Softcover, pp. 42-47, 2019
In-Memory Computing:
The Integration of Storage and Processing
Autor: Saeideh Shirinzadeh, Rolf Drechsler
Buchtitel: Information Storage
A Multidisciplinary Perspective | Herausgeber: Cornelia S. Große, Rolf Drechsler
Verlag: Springer
Hardcover, 2019
Approximate Hardware Generation Using Formal Techniques
Autor: Saman Fröhlich, Daniel Große, Rolf Drechsler
Buchtitel: Approximate Circuits: Methodologies and CAD
| Herausgeber: Sherief Reda, Muhammad Shafique
Verlag: Springer
Hardcover, pp. 155-174, 2019
Towards Early Validation of Firmware-Based Power Management Using Virtual Prototypes: A Constrained Random Approach
Autor: Vladimir Herdt, Hoang M. Le, Daniel Große, Rolf Drechsler
Buchtitel: Languages, Design Methods, and Tools for Electronic System Design: Selected Contributions from FDL 2017 | Herausgeber: Daniel Große, Sara Vinco, Hiren Patel
Verlag: Springer
Hardcover, pp. 25-44, 2019
Computational Complexity of Error Metrics in Approximate Computing
Autor: Oliver Keszöcze, Mathias Soeken, Rolf Drechsler
Buchtitel: Further Improvements in the Boolean Domain | Herausgeber: Bernd Steinbach
Verlag: Cambridge Scholars Publishing
Paperback, 2018
On the Application of Formal Fault Localization to Automated RTL-to-TLM Fault Correspondence Analysis for Fast and Accurate VP-Based Error Effect Simulation: A Case Study
Autor: Vladimir Herdt, Hoang M. Le, Daniel Große, Rolf Drechsler
Buchtitel: Languages, Design Methods, and Tools for Electronic System Design: Selected Contributions from FDL 2016 | Herausgeber: Franco Fummi, Robert Wille
Verlag: Springer
Hardcover, pp. 39-58, 2018
Logic Synthesis for Majority based In-Memory Computing
Autor: Saeideh Shirinzadeh, Mathias Soeken, Pierre-Emmanuel Gaillardon, Rolf Drechsler
Buchtitel: Advances in Memristors, Memristive Devices and Systems | Herausgeber: Sundarapandian Vaidyanathan, Christos Volos
Verlag: Springer
Hardcover, pp. 425 - 448, 2017
Funktionale Verifikation eingebetteter Systeme: Techniken und Werkzeuge auf Systemebene
Autor: Hoang M. Le
Buchtitel: Ausgezeichnete Informatikdissertationen 2015 | Herausgeber: S. Hölldobler et al.
Verlag: GI
Paperback, pp. 179-188, 2016
Formal Verification of SystemC-based Cyber Components
Autor: Daniel Große, Hoang M. Le, Rolf Drechsler
Buchtitel: Industrial Internet of Things: Cybermanufacturing Systems | Herausgeber: Sabina Jeschke, Christian Brecher, Houbing Song, Danda B. Rawat
Verlag: Springer
Hardcover, pp. 137-167, 2016
A framework for reversible circuit complexity
Autor: Mathias Soeken, Nabila Abdessaied, Rolf Drechsler
Buchtitel: Problems and New Solutions in the Boolean Domain | Herausgeber: Bernd Steinbach
Verlag: Cambridge Scholars Publishing
Paperback, pp. 327 - 341, 2016
Exploiting Electronic Design Automation for Checking Legal Regulations: A Vision
Autor: Oliver Keszöcze, Robert Wille
Buchtitel: Languages, Design Methods, and Tools for Electronic System Design | Herausgeber: Frank Oppenheimer, Julio Luis Medina Pasaje
Verlag: Springer
gebunden, pp. 101—112, 2016
Formale Spezifikationsebene
Autor: Mathias Soeken
Buchtitel: Ausgezeichnete Informatikdissertationen 2013 | Herausgeber: S. Hölldobler et al.
Verlag: GI
Paperback, pp. 241-250, 2014
Formal Specification Level
Autor: Rolf Drechsler, Mathias Soeken, Robert Wille
Buchtitel: Models, Methods, and Tools for Complex Chip Design: Selected Contributions from FDL 2012 | Herausgeber: Jan Haase
Verlag: Springer
Hardcover, pp. 37-52, 2014
Evaluating Debugging Algorithms from a Qualitative Perspective
Autor: Alexander Finder, Görschwin Fey
Buchtitel: System Specification and Design Languages: Selected Contributions from FDL 2010 | Herausgeber: Tom J. Kazmierski, Adam Morawiec
Verlag: Springer
Hardcover, pp. 21-36, 2012
Assessing System Vulnerability Using Formal Verification Techniques
Autor: Görschwin Fey
Buchtitel: Mathematical and Engineering Methods in Computer Science | Herausgeber: Zdeněk Kotásek, Jan Bouda, Ivana Černá, Lukáš Sekanina, Tomáš Vojnar, David Antoš
Verlag: Springer
Hardcover, pp. 47-56, 2012
SyReC: A Programming Language for Synthesis of Reversible Circuits
Autor: Robert Wille, Sebastian Offermann, Rolf Drechsler
Buchtitel: System Specification and Design Languages: Selected Contributions from FDL 2010 | Herausgeber: Tom J. Kazmierski, Adam Morawiec
Verlag: Springer
Hardcover, pp. 207-222, 2012
Robuste Erfüllbarkeitsalgorithmen für die Generierung hochwertiger Testmuster für digitale Schaltungen
Autor: Stephan Eggersglüß
Buchtitel: Ausgezeichnete Informatikdissertationen 2010 | Herausgeber: S. Hölldobler et al.
Verlag: GI
Paperback, pp. 81-90, 2011
Enhanced Formal Verification Flow for Circuits Integrating Debugging and Coverage Analysis
Autor: Daniel Große, Görschwin Fey, Rolf Drechsler
Buchtitel: Design and Test Technology for Dependable Systems-on-Chip | Herausgeber: Raimund Ubar, Jaan Raik, Heinrich Theodor Vierhaus
Verlag: Information Science Reference
Hardcover, pp. 119-129, 2011
SMT-based Stimuli Generation in the SystemC Verification Library
Autor: Robert Wille, Daniel Große, Finn Haedicke, Rolf Drechsler
Buchtitel: Advances in Design Methods from Modeling Languages for Embedded Systems and SoC’s: Selected Contributions on Specification, Design, and Verification from FDL 2009 | Herausgeber: Dominique Borrione
Verlag: Springer
Hardcover, pp. 227-244, 2010
Synthesis of Boolean Functions in Reversible Logic
Autor: Robert Wille, Rolf Drechsler
Buchtitel: Progress in Applications of Boolean Functions (Synthesis Lectures on Digital Circuits and Systems) | Herausgeber: Tsutomu Sasao, Jon T. Butler, Mitchell Thornton
Verlag: Morgan and Claypool Publishers
Paperback, pp. 75-92, 2010
Ein Entwurfsablauf für Reversible Schaltkreise
Autor: Robert Wille
Buchtitel: Ausgezeichnete Informatikdissertationen 2009 | Herausgeber: S. Hölldobler et al.
Verlag: GI
Paperback, pp. 291-300 , 2010
Non-Clausal SAT and ATPG
Autor: Rolf Drechsler, Tommi Junttila and Ilkka Niemelä
Buchtitel: Handbook of Satisfiability | Herausgeber: A. Biere, M. Heule, H. van Maaren, T. Walsh
Verlag: IOS Press
gebunden, pp. 655-693, 2009
Debugging Contradictory Constraints in Constraint-based Random Simulation
Autor: Daniel Große, Robert Wille, Robert Siegmund, Rolf Drechsler
Buchtitel: Languages for Embedded Systems and their Applications: Selected Contributions on Specification, Design, and Verification from FDL'08 | Herausgeber: Martin Radetzki
Verlag: Springer
gebunden, pp. 273-290, 2009
SWORD: A SAT like Prover Using Word Level Information
Autor: Robert Wille, Görschwin Fey, Daniel Große, Stephan Eggersglüß, Rolf Drechsler
Buchtitel: VLSI-SoC: Advanced Topics on Systems on a Chip:
A Selection of Extended Versions of the Best Papers of the Fourteenth International Conference on Very Large Scale Integration of System on Chip | Herausgeber: Ricardo Reis, Vincent Mooney, Paul Hasler
Verlag: Springer
Hardcover, pp. 175-192, 2009
An Integrated SystemC Debugging Environment
Autor: Frank Rogin, Christian Genz, Rolf Drechsler, Steffen Rülke
Buchtitel: Embedded Systems Specification and Design Languages: Selected contributions from FDL'07 | Herausgeber: Eugenio Villar
Verlag: Springer
gebunden, pp. 59-71, 2008
Qualitätsorientierter Entwurfs- und Verifikationsablauf für digitale Systeme
Autor: Daniel Große
Buchtitel: Ausgezeichnete Informatikdissertationen 2008 | Herausgeber: Dorothea Wagner
Verlag: GI
Paperback, pp. 121-130, 2009
Measuring the Quality of a SystemC Testbench by using Code Coverage Techniques
Autor: Daniel Große, Hernan Peraza, Wolfgang Klingauf, Rolf Drechsler
Buchtitel: Embedded Systems Specification and Design Languages: Selected contributions from FDL'07 | Herausgeber: Eugenio Villar
Verlag: Springer
gebunden, pp. 73-86, 2008
Non-Intrusive High-level SystemC Debugging
Autor: Frank Rogin, Erhard Fehlauer, Steffen Ruelke, Sebastian Ohnewald, Thomas Berndt
Buchtitel: Advances in Design and Specification Languages for Embedded Systems | Herausgeber: Sorin A. Huss
Verlag: Springer
gebunden, pp. 131-144, 2007
Exact BDD Minimization for Path-Related Objective Functions
Autor: Rüdiger Ebendt, Rolf Drechsler
Buchtitel: VLSI-SoC: From Systems to Silicon | Herausgeber: Ricardo Reis, Ada Osseiran, Hans-Jörg Pleiderer
Verlag: Springer
gebunden, pp. 299-315, 2007
Stuck-At-Fault Testability of SPP Three-Level Logic Forms
Autor: V. Ciriani, A. Bernasconi, Rolf Drechsler
Buchtitel: VLSI-SOC: From Systems to Chips | Herausgeber: M. Glesner, R. Reis, L. Indrusiak, V. Mooney, H. Eveking
Verlag: Springer
gebunden, pp. 299-313, 2006
Exploration of Sequential Depth by Evolutionary Algorithms
Autor: Nicole Drechsler, Rolf Drechsler
Buchtitel: VLSI-SOC: From Systems to Chips | Herausgeber: M. Glesner, R. Reis, L. Indrusiak, V. Mooney, H. Eveking
Verlag: Springer Boston
gebunden, pp. 73-83, 2006
Processor Verification
Autor: Daniel Große, Robert Siegmund, Rolf Drechsler
Buchtitel: Customizable Embedded Processors | Herausgeber: Paolo Ienne, Rainer Leupers
Verlag: Elsevier
gebunden, pp. 281-302, 2006
Automatic Test Pattern Generation
Autor: Rolf Drechsler, Görschwin Fey
Buchtitel: Formal Methods for Hardware Verification, LNCS 3965 | Herausgeber: Marco Bernardo, Alessandro Cimatti
Verlag: Springer
gebunden, pp. 30-55, 2006
System-level validation using formal techniques
Autor: Rolf Drechsler, Daniel Große
Buchtitel: System-on-Chip: Next Generation Electronics | Herausgeber: Bashir M. Al-Hashimi
Verlag: The IEE
gebunden, pp. 715-745, 2006
