|
Home « Team « Publikationen
» Publikationen von
Rolf Drechsler
|
 |
BÜCHER |
 |
» Design for Testability, Debug and Reliability: Next Generation Measures Using Formal Techniques
[Lesen Sie hier mehr!]
|
 |
|
Verlag: |
|
Springer |
Autor:
|
|
Sebastian Huhn, Rolf Drechsler |
| Format: |
|
Gebunden und eBook |
Erscheinungsjahr:
|
|
2021
|
|
» Recent Findings in Boolean Techniques
[Lesen Sie hier mehr!]
|
 |
|
Verlag: |
|
Springer |
Autor:
|
|
Rolf Drechsler, Daniel Große |
| Format: |
|
Gebunden und eBook |
Erscheinungsjahr:
|
|
2021
|
|
» Natural Language Processing for Electronic Design Automation
[Lesen Sie hier mehr!]
|
 |
|
Verlag: |
|
Springer |
Autor:
|
|
Mathias Soeken, Rolf Drechsler (Eds.) |
| Format: |
|
Hardcover |
Erscheinungsjahr:
|
|
2020
|
|
» Enhanced Virtual Prototyping: Featuring RISC-V Case Studies
[Lesen Sie hier mehr!]
|
 |
|
Verlag: |
|
Springer |
Autor:
|
|
Vladimir Herdt, Daniel Große, Rolf Drechsler |
| Format: |
|
Hardcover |
Erscheinungsjahr:
|
|
2020
|
|
» Automated Analysis of Virtual Prototypes at the Electronic System Level – Design Understanding and Applications
[Lesen Sie hier mehr!]
|
 |
|
Verlag: |
|
Springer |
Autor:
|
|
Mehran Goli, Rolf Drechsler |
| Format: |
|
Hardcover |
Erscheinungsjahr:
|
|
2020
|
|
» Information Storage - A Multidisciplinary Perspective
[Lesen Sie hier mehr!]
|
 |
|
Verlag: |
|
Springer |
Autor:
|
|
Cornelia S. Große, Rolf Drechsler (Eds.) |
| Format: |
|
Hardcover |
Erscheinungsjahr:
|
|
2019
|
|
» Advanced Boolean Techniques
[Lesen Sie hier mehr!]
|
 |
|
Verlag: |
|
Springer International Publishing |
Autor:
|
|
Rolf Drechsler, Mathias Soeken (Eds.) |
| Format: |
|
Hardcover |
Erscheinungsjahr:
|
|
2020
|
|
» In-Memory Computing -
Synthesis and Optimization
[Lesen Sie hier mehr!]
|
 |
|
Verlag: |
|
Springer |
Autor:
|
|
Saeideh Shirinzadeh, Rolf Drechsler |
| Format: |
|
Hardcover |
Erscheinungsjahr:
|
|
2020
|
|
» Design Automation Techniques for Approximation Circuits
[Lesen Sie hier mehr!]
|
 |
|
Verlag: |
|
Springer |
Autor:
|
|
Arun Chandrasekharan, Daniel Große, Rolf Drechsler |
| Format: |
|
gebunden |
Erscheinungsjahr:
|
|
2018
|
|
» Exact Design of Digital Microfluidic Biochips
[Lesen Sie hier mehr!]
|
 |
|
Verlag: |
|
Springer |
Autor:
|
|
Oliver Keszöcze, Robert Wille, Rolf Drechsler |
| Format: |
|
Gebunden |
Erscheinungsjahr:
|
|
2018
|
|
» Advanced Logic Synthesis
[Lesen Sie hier mehr!]
|
 |
|
Verlag: |
|
Springer |
Autor:
|
|
André Inácio Reis, Rolf Drechsler |
| Format: |
|
eBook |
Erscheinungsjahr:
|
|
2017
|
|
» Formal System Verification
State-of the-Art and Future Trends
[Lesen Sie hier mehr!]
|
 |
|
Verlag: |
|
Springer Verlag |
Autor:
|
|
Rolf Drechsler |
| Format: |
|
Hardcover, eBook |
Erscheinungsjahr:
|
|
2017
|
|
» Computer: Wie funktionieren Smartphone, Tablet & Co.?
[Lesen Sie hier mehr!]
|
 |
|
Verlag: |
|
Springer |
Autor:
|
|
Rolf Drechsler, Andrea Fink, Jannis Stoppe |
| Format: |
|
Taschenbuch |
Erscheinungsjahr:
|
|
2017
|
|
» Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
[Lesen Sie hier mehr!]
|
 |
|
Verlag: |
|
Shaker Verlag |
Autor:
|
|
Daniel Große, Rolf Drechsler |
| Format: |
|
Gebunden |
Erscheinungsjahr:
|
|
2017
|
|
» Automatic Methods for the Refinement of System Models
[Lesen Sie hier mehr!]
|
 |
|
Verlag: |
|
Springer International Publishing |
Autor:
|
|
Julia Seiter, Robert Wille, Rolf Drechsler |
| Format: |
|
Taschenbuch |
Erscheinungsjahr:
|
|
2016
|
|
» Reversible and Quantum Circuits
[Lesen Sie hier mehr!]
|
 |
|
Verlag: |
|
Springer |
Autor:
|
|
Nabila Abdessaied, Rolf Drechsler |
| Format: |
|
eBook, Hardcover |
Erscheinungsjahr:
|
|
2016
|
|
» Languages, Design Methods, and Tools for Electronic System Design
[Lesen Sie hier mehr!]
|
 |
|
Verlag: |
|
Springer International Publishing (Verlag) |
Autor:
|
|
Rolf Drechsler, Robert Wille (Hrsg.) |
| Format: |
|
Buch | Hardcover |
Erscheinungsjahr:
|
|
2016
|
|
» Synthese- und Optimierungsverfahren für zukünftige Computerparadigmen
[Lesen Sie hier mehr!]
|
 |
|
Verlag: |
|
Shaker Verlag |
Autor:
|
|
Robert Wille,
Oliver Keszöcze,
Rolf Drechsler (Hrsg.) |
| Format: |
|
gebunden |
Erscheinungsjahr:
|
|
2015
|
|
» Formal Modeling and Verification of Cyber-Physical Systems
[Lesen Sie hier mehr!]
|
 |
|
Verlag: |
|
Springer |
Autor:
|
|
Rolf Drechsler, Ulrich Kühne (Hrsg.) |
| Format: |
|
eBook, Softcover |
Erscheinungsjahr:
|
|
2015
|
|
» Formal Specification Level
[Lesen Sie hier mehr!]
|
 |
|
Verlag: |
|
Springer |
Autor:
|
|
Mathias Soeken, Rolf Drechsler |
| Format: |
|
eBook, Hardcover |
Erscheinungsjahr:
|
|
2014
|
|
» Aspekte der Technischen Informatik
[Lesen Sie hier mehr!]
|
 |
|
Verlag: |
|
MV-Wissenschaft |
Autor:
|
|
Rolf Drechsler (Hrsg.) |
| Format: |
|
Softcover |
Erscheinungsjahr:
|
|
2014
|
|
» Auf dem Weg zum Quantencomputer - Entwurf reversibler Logik
[Lesen Sie hier mehr!]
|
 |
|
Verlag: |
|
Shaker Verlag |
Autor:
|
|
Rolf Drechsler, Mathias Soeken, Robert Wille (Hrsg.) |
| Format: |
|
gebunden |
Erscheinungsjahr:
|
|
2012
|
|
» High Quality Test Pattern Generation and Boolean Satisfiability
[Lesen Sie hier mehr!]
|
 |
|
Verlag: |
|
Springer |
Autor:
|
|
Stephan Eggersglüß, Rolf Drechsler |
| Format: |
|
Hardcover |
Erscheinungsjahr:
|
|
2012
|
|
» Applications of Evolutionary Computation
Applications of Evolutionary Computation
[Lesen Sie hier mehr!]
|
 |
|
Verlag: |
|
Springer |
Autor:
|
|
Cecilia Di Chio, Anthony Brabazon, Gianni A. Di Caro, Rolf Drechsler, Muddassar Farooq, Jörn Grahl, Gary Greenfield, Christian Prins, Juan Romero und Giovanni Squillero, et al. |
| Format: |
|
Gebunden |
Erscheinungsjahr:
|
|
2011
|
|
» Towards a Design Flow for Reversible Logic
[Lesen Sie hier mehr!]
|
 |
|
Verlag: |
|
Springer |
Autor:
|
|
Robert Wille, Rolf Drechsler |
| Format: |
|
Gebunden |
Erscheinungsjahr:
|
|
2010
|
|
» Debugging at the Electronic System Level
[Lesen Sie hier mehr!]
|
 |
|
Verlag: |
|
Springer |
Autor:
|
|
Frank Rogin, Rolf Drechsler |
| Format: |
|
Gebunden |
Erscheinungsjahr:
|
|
2010
|
|
» Quality-Driven SystemC Design
[Lesen Sie hier mehr!]
|
 |
|
Verlag: |
|
Springer |
Autor:
|
|
Daniel Große, Rolf Drechsler |
| Format: |
|
Hardcover |
Erscheinungsjahr:
|
|
2010
|
|
» Test Pattern Generation using Boolean Proof Engines
[Lesen Sie hier mehr!]
|
 |
|
Verlag: |
|
Springer |
Autor:
|
|
Rolf Drechsler, Stephan Eggersglüß, Görschwin Fey, Daniel Tille |
| Format: |
|
Hardcover |
Erscheinungsjahr:
|
|
2009
|
|
» Robustness and Usability in Modern Design Flows
[Lesen Sie hier mehr!]
|
 |
|
Verlag: |
|
Springer |
Autor:
|
|
Görschwin Fey, Rolf Drechsler |
| Format: |
|
Hardcover |
Erscheinungsjahr:
|
|
2008
|
|
» Applications of Evolutionary Computing
[Lesen Sie hier mehr!]
|
 |
|
Verlag: |
|
Springer |
Autor:
|
|
M. Giacobini, A. Brabazon, S. Cagnoni, G. A. DiCaro, Rolf Drechsler, A. Ekart, A. I. Esparcia-Alcazar, M. Farooq, A. Fink, J. McCormack, M. O'Neill, J. Romero, F. Rothlauf, G. Squillero, S. Uyar, S. Yang
|
| Format: |
|
Gebunden |
Erscheinungsjahr:
|
|
2008
|
|
» Applications of Evolutionary Computing
[Lesen Sie hier mehr!]
|
 |
|
Verlag: |
|
Springer |
Autor:
|
|
M. Giacobini, A. Brabazon, S. Cagoni, G.A. Di Caro, Rolf Drechsler, M. Farooq, A. Fink, E. Lutton, P. Machado, S. Minner, M. O'Neill, J. Romero, F. Rothlauf, G. Squillero, H. Takagi, A.S. Uyar, S. Yang |
| Format: |
|
Gebunden |
Erscheinungsjahr:
|
|
2007
|
|
» SATRIX - Algorithmen für Boolesche Erfüllbarkeit
[Lesen Sie hier mehr!]
|
 |
|
Verlag: |
|
Shaker Verlag |
Autor:
|
|
Daniel Große, Görschwin Fey, Rolf Drechsler (Hrsg.) |
| Format: |
|
Gebunden |
Erscheinungsjahr:
|
|
2007
|
|
» Applications of Evolutionary Computing
[Lesen Sie hier mehr!]
|
 |
|
Verlag: |
|
Springer |
Autor:
|
|
F. Rothlauf, J. Branke, S. Cagnoni, E. Costa, C. Cotta, Rolf Drechsler, E. Lutton, P. Machado, J.H. Moore, J. Romero, G.D. Smith, G. Squillero, H. Takagi (Eds.) |
| Format: |
|
Gebunden |
Erscheinungsjahr:
|
|
2006
|
|
» Advanced BDD Optimization
[Lesen Sie hier mehr!]
|
 |
|
Verlag: |
|
Springer Verlag |
Autor:
|
|
Rüdiger Ebendt, Görschwin Fey, Rolf Drechsler |
| Format: |
|
Hardcover |
Erscheinungsjahr:
|
|
2005
|
|
» Technische Informatik - Eine Einführung
[Lesen Sie hier mehr!]
|
 |
|
Verlag: |
|
Pearson Studium |
Autor:
|
|
Bernd Becker, Rolf Drechsler, Paul Molitor |
| Format: |
|
Gebunden |
Erscheinungsjahr:
|
|
2005
|
|
» Applications of Evolutionary Computing
[Lesen Sie hier mehr!]
|
 |
|
Verlag: |
|
Springer |
Autor:
|
|
Franz Rothlauf, Jürgen Branke, Stefano Cagnoni, David W. Corne, Rolf Drechsler, Yaochu Jin, Penousal Machado, Elena Marchiori, Juan Romero, George D. Smith, Giovanni Squillero |
| Format: |
|
Gebunden |
Erscheinungsjahr:
|
|
2005
|
|
» FunTaskIC - Eine integrierte Entwurfsumgebung für SystemC
[Lesen Sie hier mehr!]
|
 |
|
Verlag: |
|
Shaker Verlag |
Autor:
|
|
Görschwin Fey, Rolf Drechsler (Hrsg.) |
| Format: |
|
Gebunden |
Erscheinungsjahr:
|
|
2005
|
|
» Applications of Evolutionary Computing
[Lesen Sie hier mehr!]
|
 |
|
Verlag: |
|
Springer |
Autor:
|
|
G.R. Raidl, S. Cagnoni, J. Branke, D.W. Corne, Rolf Drechsler, Y. Jin, C.G. Johnson, P. Machado, E. Marchiori,F. Rothlauf, G.D. Smith, G. Squillero
|
| Format: |
|
Gebunden |
Erscheinungsjahr:
|
|
2004
|
|
» Advanced Formal Verification
[Lesen Sie hier mehr!]
|
 |
|
Verlag: |
|
Kluwer Academic Publishers |
Autor:
|
|
Rolf Drechsler |
| Format: |
|
Gebunden |
Erscheinungsjahr:
|
|
2004
|
|
» Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
[Lesen Sie hier mehr!]
|
 |
|
Verlag: |
|
Shaker Verlag |
Autor:
|
|
Rolf Drechsler |
| Format: |
|
Gebunden |
Erscheinungsjahr:
|
|
2003
|
|
» Evolutionary Algorithms for Embedded System Design
[Lesen Sie hier mehr!]
|
 |
|
Verlag: |
|
Kluwer Academic Publishers |
Autor:
|
|
Rolf Drechsler, Nicole Drechsler |
| Format: |
|
Gebunden |
Erscheinungsjahr:
|
|
2002
|
|
» Software-Engineering und Hardware-Design
[Lesen Sie hier mehr!]
|
 |
|
Verlag: |
|
Carl Hanser Verlag |
Autor:
|
|
Axel Sikora, Rolf Drechsler
|
| Format: |
|
Gebunden |
Erscheinungsjahr:
|
|
2002
|
|
» Towards One-Pass Synthesis
[Lesen Sie hier mehr!]
|
 |
|
Verlag: |
|
Kluwer Academic Publishers |
Autor:
|
|
Rolf Drechsler, Wolfgang Günther
|
| Format: |
|
Hardcover |
Erscheinungsjahr:
|
|
2002
|
|
» Spectral Techniques in VLSI CAD
[Lesen Sie hier mehr!]
|
 |
|
Verlag: |
|
Kluwer Academic Publishers |
Autor:
|
|
Mitchell A. Thornton, Rolf Drechsler, D. Michel Miller |
| Format: |
|
Hardcover |
Erscheinungsjahr:
|
|
2001
|
|
» Formal Verification of Circuits
[Lesen Sie hier mehr!]
|
 |
|
Verlag: |
|
Kluwer Academic Publishers |
Autor:
|
|
Rolf Drechsler |
| Format: |
|
Hardcover |
Erscheinungsjahr:
|
|
2000
|
|
» Evolutionary Algorithms for VLSI CAD
[Lesen Sie hier mehr!]
|
 |
|
Verlag: |
|
Kluwer Academic Publishers |
Autor:
|
|
Rolf Drechsler |
| Format: |
|
Hardcover |
Erscheinungsjahr:
|
|
1998
|
|
» Binary Decision Diagrams: Theory and Implementations
[Lesen Sie hier mehr!]
|
 |
|
Verlag: |
|
Kluwer Academic Publisher |
Autor:
|
|
Rolf Drechsler, Bernd Becker |
| Format: |
|
Hardcover |
Erscheinungsjahr:
|
|
1998
|
|
» Graphenbasierte Funktionsdarstellung
[Lesen Sie hier mehr!]
|
 |
|
Verlag: |
|
B.G. Teubner |
Autor:
|
|
Rolf Drechsler, Bernd Becker |
| Format: |
|
Gebunden |
Erscheinungsjahr:
|
|
1998
|
|
» Functional Decision Diagrams und ihre Anwendung
[Lesen Sie hier mehr!]
|
 |
|
Verlag: |
|
Modell Verlag |
Autor:
|
|
Rolf Drechsler |
| Format: |
|
Gebunden |
Erscheinungsjahr:
|
|
1996
|
|
|
BUCHBEITRÄGE |
|
| » Intelligent Umgeben: Ausgewählte Einblicke in 10 Jahre Bremen Ambient Assisted Living Lab |
|
Autor:
| Serge Autexier, Rolf Drechsler
|
| Herausgeber: | Etezadzadeh, Chirine |
| Buchtitel: | Smart City – Made in Germany |
| Verlag: | Springer |
| Seiten: | 671-682 |
| Erscheinungsjahr: | 2020 |
| Format: | gebunden |
|
| » Automatic Design of Microfluidic
Devices: An Overview of Platforms
and Corresponding Design Tasks |
|
Autor:
| Robert Wille, Bing Li, Rolf Drechsler, and Ulf Schlichtmann
|
| Herausgeber: | Tom J. Kazmierski, Sebastian Steinhorst, Daniel Große |
| Buchtitel: | Languages, Design Methods, and Tools for Electronic System Design: Selected Contributions from FDL 2018 |
| Verlag: | Springer |
| Seiten: | 71-88 |
| Erscheinungsjahr: | 2020 |
| Format: | Hardcover |
|
| » Extensible and Configurable RISC-V Based Virtual Prototype |
|
|
Autor:
| Vladimir Herdt, Daniel Große, Hoang M. Le, Rolf Drechsler
|
| Herausgeber: | Tom J. Kazmierski, Sebastian Steinhorst, Daniel Große |
| Buchtitel: | Languages, Design Methods, and Tools for Electronic System Design: Selected Contributions from FDL 2018 |
| Verlag: | Springer |
| Seiten: | 115-134 |
| Erscheinungsjahr: | 2020 |
| Format: | Hardcover |
|
| » Approximate Memory: Data Storage in the Context of Approximate Computing |
|
|
Autor:
| Saman Fröhlich, Daniel Große, Rolf Drechsler
|
| Herausgeber: | Cornelia S. Große, Rolf Drechsler |
| Buchtitel: | Information Storage
|
| Verlag: | Springer |
| Seiten: | 111-133 |
| Erscheinungsjahr: | 2019 |
| Format: | Hardcover |
|
| » An Efficient Nearest Neighbor Design for 2D Quantum Circuits |
|
Autor:
| A. Bhattacharjee, C. Bandyopadhyay, B. Mondal, Robert Wille, Rolf Drechsler, H. Rahaman
|
| Herausgeber: | Ashutosh Kumar SinghMasahiro FujitaAnand Mohan |
| Buchtitel: | Design and Testing of Reversible Logic |
| Verlag: | Springer |
| Seiten: | Pages 215-231 |
| Erscheinungsjahr: | 2020 |
| Format: | gebunden |
|
| » Assistenzsysteme der Zukunft – Nutzen und Potenzial künstlicher Intelligenz |
|
Autor:
| Rolf Drechsler, Christoph Lüth
|
| Herausgeber: | Henning Lühr |
| Buchtitel: | Brauchen wir eine neue Staatskunst? |
| Verlag: | Kellner Verlag |
| Seiten: | 42-47 |
| Erscheinungsjahr: | 2019 |
| Format: | Gebunden, Softcover |
|
| » In-Memory Computing:
The Integration of Storage and Processing |
|
|
Autor:
| Saeideh Shirinzadeh, Rolf Drechsler
|
| Herausgeber: | Cornelia S. Große, Rolf Drechsler |
| Buchtitel: | Information Storage
A Multidisciplinary Perspective |
| Verlag: | Springer |
| Seiten: | |
| Erscheinungsjahr: | 2019 |
| Format: | Hardcover |
|
| » Approximate Hardware Generation Using Formal Techniques |
|
Autor:
| Saman Fröhlich, Daniel Große, Rolf Drechsler
|
| Herausgeber: | Sherief Reda, Muhammad Shafique |
| Buchtitel: | Approximate Circuits: Methodologies and CAD
|
| Verlag: | Springer |
| Seiten: | 155-174 |
| Erscheinungsjahr: | 2019 |
| Format: | Hardcover |
|
| » 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
|
| Herausgeber: | Daniel Große, Sara Vinco, Hiren Patel |
| Buchtitel: | Languages, Design Methods, and Tools for Electronic System Design: Selected Contributions from FDL 2017 |
| Verlag: | Springer |
| Seiten: | 25-44 |
| Erscheinungsjahr: | 2019 |
| Format: | Hardcover |
|
| » Computational Complexity of Error Metrics in Approximate Computing |
|
Autor:
| Oliver Keszöcze, Mathias Soeken, Rolf Drechsler
|
| Herausgeber: | Bernd Steinbach |
| Buchtitel: | Further Improvements in the Boolean Domain |
| Verlag: | Cambridge Scholars Publishing |
| Seiten: | |
| Erscheinungsjahr: | 2018 |
| Format: | Paperback |
|
| » 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
|
| Herausgeber: | Franco Fummi, Robert Wille |
| Buchtitel: | Languages, Design Methods, and Tools for Electronic System Design: Selected Contributions from FDL 2016 |
| Verlag: | Springer |
| Seiten: | 39-58 |
| Erscheinungsjahr: | 2018 |
| Format: | Hardcover |
|
| » Logic Synthesis for Majority based In-Memory Computing |
|
Autor:
| Saeideh Shirinzadeh, Mathias Soeken, Pierre-Emmanuel Gaillardon, Rolf Drechsler
|
| Herausgeber: | Sundarapandian Vaidyanathan, Christos Volos |
| Buchtitel: | Advances in Memristors, Memristive Devices and Systems |
| Verlag: | Springer |
| Seiten: | 425 - 448 |
| Erscheinungsjahr: | 2017 |
| Format: | Hardcover |
|
| » Formal Verification of SystemC-based Cyber Components |
|
Autor:
| Daniel Große, Hoang M. Le, Rolf Drechsler
|
| Herausgeber: | Sabina Jeschke, Christian Brecher, Houbing Song, Danda B. Rawat |
| Buchtitel: | Industrial Internet of Things: Cybermanufacturing Systems |
| Verlag: | Springer |
| Seiten: | 137-167 |
| Erscheinungsjahr: | 2016 |
| Format: | Hardcover |
|
| » A framework for reversible circuit complexity |
|
Autor:
| Mathias Soeken, Nabila Abdessaied, Rolf Drechsler
|
| Herausgeber: | Bernd Steinbach |
| Buchtitel: | Problems and New Solutions in the Boolean Domain |
| Verlag: | Cambridge Scholars Publishing |
| Seiten: | 327 - 341 |
| Erscheinungsjahr: | 2016 |
| Format: | Paperback |
|
| » Formal Specification Level |
|
Autor:
| Rolf Drechsler, Mathias Soeken, Robert Wille
|
| Herausgeber: | Jan Haase |
| Buchtitel: | Models, Methods, and Tools for Complex Chip Design: Selected Contributions from FDL 2012 |
| Verlag: | Springer |
| Seiten: | 37-52 |
| Erscheinungsjahr: | 2014 |
| Format: | Hardcover |
|
| » SyReC: A Programming Language for Synthesis of Reversible Circuits |
|
Autor:
| Robert Wille, Sebastian Offermann, Rolf Drechsler
|
| Herausgeber: | Tom J. Kazmierski, Adam Morawiec |
| Buchtitel: | System Specification and Design Languages: Selected Contributions from FDL 2010 |
| Verlag: | Springer |
| Seiten: | 207-222 |
| Erscheinungsjahr: | 2012 |
| Format: | Hardcover |
|
| » Enhanced Formal Verification Flow for Circuits Integrating Debugging and Coverage Analysis |
|
Autor:
| Daniel Große, Görschwin Fey, Rolf Drechsler
|
| Herausgeber: | Raimund Ubar, Jaan Raik, Heinrich Theodor Vierhaus |
| Buchtitel: | Design and Test Technology for Dependable Systems-on-Chip |
| Verlag: | Information Science Reference |
| Seiten: | 119-129 |
| Erscheinungsjahr: | 2011 |
| Format: | Hardcover |
|
| » SMT-based Stimuli Generation in the SystemC Verification Library |
|
|
Autor:
| Robert Wille, Daniel Große, Finn Haedicke, Rolf Drechsler
|
| Herausgeber: | Dominique Borrione |
| Buchtitel: | Advances in Design Methods from Modeling Languages for Embedded Systems and SoC’s: Selected Contributions on Specification, Design, and Verification from FDL 2009 |
| Verlag: | Springer |
| Seiten: | 227-244 |
| Erscheinungsjahr: | 2010 |
| Format: | Hardcover |
|
| » Synthesis of Boolean Functions in Reversible Logic |
|
Autor:
| Robert Wille, Rolf Drechsler
|
| Herausgeber: | Tsutomu Sasao, Jon T. Butler, Mitchell Thornton |
| Buchtitel: | Progress in Applications of Boolean Functions (Synthesis Lectures on Digital Circuits and Systems) |
| Verlag: | Morgan and Claypool Publishers |
| Seiten: | 75-92 |
| Erscheinungsjahr: | 2010 |
| Format: | Paperback |
|
| » Non-Clausal SAT and ATPG |
|
Autor:
| Rolf Drechsler, Tommi Junttila and Ilkka Niemelä
|
| Herausgeber: | A. Biere, M. Heule, H. van Maaren, T. Walsh |
| Buchtitel: | Handbook of Satisfiability |
| Verlag: | IOS Press |
| Seiten: | 655-693 |
| Erscheinungsjahr: | 2009 |
| Format: | gebunden |
|
| » Debugging Contradictory Constraints in Constraint-based Random Simulation |
|
Autor:
| Daniel Große, Robert Wille, Robert Siegmund, Rolf Drechsler
|
| Herausgeber: | Martin Radetzki |
| Buchtitel: | Languages for Embedded Systems and their Applications: Selected Contributions on Specification, Design, and Verification from FDL'08 |
| Verlag: | Springer |
| Seiten: | 273-290 |
| Erscheinungsjahr: | 2009 |
| Format: | gebunden |
|
| » SWORD: A SAT like Prover Using Word Level Information |
|
Autor:
| Robert Wille, Görschwin Fey, Daniel Große, Stephan Eggersglüß, Rolf Drechsler
|
| Herausgeber: | Ricardo Reis, Vincent Mooney, Paul Hasler |
| 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 |
| Verlag: | Springer |
| Seiten: | 175-192 |
| Erscheinungsjahr: | 2009 |
| Format: | Hardcover |
|
| » An Integrated SystemC Debugging Environment |
|
Autor:
| Frank Rogin, Christian Genz, Rolf Drechsler, Steffen Rülke
|
| Herausgeber: | Eugenio Villar |
| Buchtitel: | Embedded Systems Specification and Design Languages: Selected contributions from FDL'07 |
| Verlag: | Springer |
| Seiten: | 59-71 |
| Erscheinungsjahr: | 2008 |
| Format: | gebunden |
|
| » Measuring the Quality of a SystemC Testbench by using Code Coverage Techniques |
|
|
Autor:
| Daniel Große, Hernan Peraza, Wolfgang Klingauf, Rolf Drechsler
|
| Herausgeber: | Eugenio Villar |
| Buchtitel: | Embedded Systems Specification and Design Languages: Selected contributions from FDL'07 |
| Verlag: | Springer |
| Seiten: | 73-86 |
| Erscheinungsjahr: | 2008 |
| Format: | gebunden |
|
| » Exact BDD Minimization for Path-Related Objective Functions |
|
Autor:
| Rüdiger Ebendt, Rolf Drechsler
|
| Herausgeber: | Ricardo Reis, Ada Osseiran, Hans-Jörg Pleiderer |
| Buchtitel: | VLSI-SoC: From Systems to Silicon |
| Verlag: | Springer |
| Seiten: | 299-315 |
| Erscheinungsjahr: | 2007 |
| Format: | gebunden |
|
| » Stuck-At-Fault Testability of SPP Three-Level Logic Forms |
|
Autor:
| V. Ciriani, A. Bernasconi, Rolf Drechsler
|
| Herausgeber: | M. Glesner, R. Reis, L. Indrusiak, V. Mooney, H. Eveking |
| Buchtitel: | VLSI-SOC: From Systems to Chips |
| Verlag: | Springer |
| Seiten: | 299-313 |
| Erscheinungsjahr: | 2006 |
| Format: | gebunden |
|
| » Exploration of Sequential Depth by Evolutionary Algorithms |
|
|
Autor:
| Nicole Drechsler, Rolf Drechsler
|
| Herausgeber: | M. Glesner, R. Reis, L. Indrusiak, V. Mooney, H. Eveking |
| Buchtitel: | VLSI-SOC: From Systems to Chips |
| Verlag: | Springer Boston |
| Seiten: | 73-83 |
| Erscheinungsjahr: | 2006 |
| Format: | gebunden |
|
| » Processor Verification |
|
Autor:
| Daniel Große, Robert Siegmund, Rolf Drechsler
|
| Herausgeber: | Paolo Ienne, Rainer Leupers |
| Buchtitel: | Customizable Embedded Processors |
| Verlag: | Elsevier |
| Seiten: | 281-302 |
| Erscheinungsjahr: | 2006 |
| Format: | gebunden |
|
| » Automatic Test Pattern Generation |
|
Autor:
| Rolf Drechsler, Görschwin Fey
|
| Herausgeber: | Marco Bernardo, Alessandro Cimatti |
| Buchtitel: | Formal Methods for Hardware Verification, LNCS 3965 |
| Verlag: | Springer |
| Seiten: | 30-55 |
| Erscheinungsjahr: | 2006 |
| Format: | gebunden |
|
| » System-level validation using formal techniques |
|
Autor:
| Rolf Drechsler, Daniel Große
|
| Herausgeber: | Bashir M. Al-Hashimi |
| Buchtitel: | System-on-Chip: Next Generation Electronics |
| Verlag: | The IEE |
| Seiten: | 715-745 |
| Erscheinungsjahr: | 2006 |
| Format: | gebunden |
|
|
ZEITSCHRIFTEN |
|
» Advanced Virtual Prototyping for Cyber-Physical Systems using RISC-V: Implementation, Verification and Challenges
[Link zur Zeitschriften-Homepage]
|
 |
|
|
|
|
Autor:
|
|
Vladimir Herdt, Rolf Drechsler |
| Zeitschrift: |
|
Science China Information Sciences (SCIS) |
| Details: |
|
accepted |
Jahr:
|
|
2021
|
|
» RevSCA-2.0: SCA-based Formal Verification of Non-trivial Multipliers using Reverse Engineering and Local Vanishing Removal
[Link zur Zeitschriften-Homepage]
|
 |
|
|
|
|
Autor:
|
|
Alireza Mahzoon, Daniel Große, Rolf Drechsler |
| Zeitschrift: |
|
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD) |
| Details: |
|
accepted |
Jahr:
|
|
2021
|
|
» Towards RISC-V CSR Compliance Testing
[Link zur Zeitschriften-Homepage]
|
 |
|
|
|
|
Autor:
|
|
Niklas Bruns, Vladimir Herdt, Daniel Große, Rolf Drechsler |
| Zeitschrift: |
|
IEEE Embedded Systems Letters (ESL) |
| Details: |
|
accepted |
Jahr:
|
|
2021
|
|
» Parallel Computing of Graph-Based functions in ReRAM
[Link zur Zeitschriften-Homepage]
|
 |
|
|
|
|
Autor:
|
|
Saman Fröhlich, Saeideh Shirinzadeh, Rolf Drechsler |
| Zeitschrift: |
|
Journal on Emerging Technologies in Computing Systems (JETC) |
| Details: |
|
accepted |
Jahr:
|
|
2021
|
|
» An ant colony based mapping of quantum circuits to nearest neighbor architectures
[Link zur Zeitschriften-Homepage]
|
 |
|
|
|
|
Autor:
|
|
Anirban Bhattacharjee, Chandan Bandyopadhyay, Angshu Mukherje, Robert Wille, Rolf Drechsler, Hafizur Rahamana |
| Zeitschrift: |
|
Integration |
| Details: |
|
Volume 78, May 2021, Pages 11-24 |
Jahr:
|
|
2021
|
|
» Adaptive Simulation with Virtual Prototypes in an Open-Source RISC-V Evaluation Platform
[Link zur Zeitschriften-Homepage]
|
 |
|
|
|
|
Autor:
|
|
Vladimir Herdt, Daniel Große, Sören Tempel, Rolf Drechsler |
| Zeitschrift: |
|
Journal of Systems Architecture - Embedded Software Design (JSA) |
| Details: |
|
https://doi.org/10.1016/j.sysarc.2021.102135 |
Jahr:
|
|
2021
|
|
» Through the Looking Glass: Automated Design Understanding of SystemC-based VPs at the ESL
[Link zur Zeitschriften-Homepage]
|
|
|
|
|
|
Autor:
|
|
Mehran Goli, Rolf Drechsler |
| Zeitschrift: |
|
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD) |
| Details: |
|
accepted |
Jahr:
|
|
2021
|
|
» Improving the Designs of Nearest Neighbour Quantum Circuits for 1D and 2D Architectures
[Link zur Zeitschriften-Homepage]
|
 |
|
|
|
|
Autor:
|
|
Chandan Bandyopadhyay, Anirban Bhattacharjee, Robert Wille, Rolf Drechsler, Hafizur Rahaman |
| Zeitschrift: |
|
IETE Journal of Research |
| Details: |
|
Published online: 27 Sep 2020 |
Jahr:
|
|
2020
|
|
» On the Difficulty of Inserting Trojans in Reversible Computing Architectures
[Link zur Zeitschriften-Homepage]
|
 |
|
|
|
|
Autor:
|
|
Xiaotong Cui, Samah Mohamed Saeed, Alwin Zulehner;, Robert Wille, Kaijie Wu, Rolf Drechsler, Ramesh Karri |
| Zeitschrift: |
|
IEEE Transactions on Emerging Topics in Computing |
| Details: |
|
Volume: 8, Issue: 4, Oct.-Dec. 1 2020 |
Jahr:
|
|
2020
|
|
» An Improved Heuristic Technique for Nearest Neighbor Realization of Quantum Circuits in 2D Architecture
[Link zur Zeitschriften-Homepage]
|
|
|
|
|
|
Autor:
|
|
Anirban Bhattacharjee, Chandan Bandyopadhyay, Philipp Niemann , Bappaditya Mondal , Rolf Drechsler , Hafizur Rahaman |
| Zeitschrift: |
|
Integration |
| Details: |
|
Volume 76, January 2021, Pages 40-54, https://doi.org/10.1016/j.vlsi.2020.09.003 |
Jahr:
|
|
2020
|
|
» Improving the Designs of Nearest Neighbor Quantum Circuits for 1D and 2D Architectures
[Link zur Zeitschriften-Homepage]
|
 |
|
|
|
|
Autor:
|
|
Chandan Bandyopadhyay, Anirban Bhattacharjee, Robert Wille, Rolf Drechsler, Hafizur Rahaman |
| Zeitschrift: |
|
IETE Journal of Research |
| Details: |
|
https://doi.org/10.1080/03772063.2020.1822215 |
Jahr:
|
|
2020
|
|
» ReCoFused partial reconfiguration for secure moving-target countermeasures on FPGAs
[Link zur Zeitschriften-Homepage]
|
 |
|
|
|
|
Autor:
|
|
Buse Ustaoğlu, Kenneth Schmitz, Daniel Große, Rolf Drechsler |
| Zeitschrift: |
|
SN Applied Sciences | Springer Nature |
| Details: |
|
ANr: 1363, DOI 10.1007/s42452-020-3003-x |
Jahr:
|
|
2020
|
|
» Advanced Exact Synthesis of Clifford+T Circuits
[Link zur Zeitschriften-Homepage]
|
 |
|
|
|
|
Autor:
|
|
Philipp Niemann, Robert Wille, Rolf Drechsler |
| Zeitschrift: |
|
Quantum Information Processing |
| Details: |
|
(accepted)DOI: 10.1007/s11128-020-02816-0 |
Jahr:
|
|
2020
|
|
» Overcoming the Trade-off Between Accuracy and Compactness in Decision Diagrams for Quantum Computation
[Link zur Zeitschriften-Homepage]
|
|
|
|
|
|
Autor:
|
|
Philipp Niemann, Alwin Zulehner, Rolf Drechsler, Robert Wille |
| Zeitschrift: |
|
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems |
| Details: |
|
URL: https://doi.org/TCAD.2020.2977603, DOI: 10.1109/TCAD.2020.2977603 |
Jahr:
|
|
2020
|
|
» On the Impact of the Synchronization Constraint and Interconnections in Quantum-dot Cellular Automata
[Link zur Zeitschriften-Homepage]
|
 |
|
|
|
|
Autor:
|
|
Frank Sill Torres, Pedro A. Silva, Geraldo Fontes, Marcel Walter, José Augusto M. Nacif, Ricardo Santos Ferreira, Omar Paranaiba Vilela Neto, Jeferson F. Chaves, Robert Wille, Philipp Niemann, Daniel Große, Rolf Drechsler |
| Zeitschrift: |
|
Microprocessors and Microsystems (MICPRO) |
| Details: |
|
Volume 76, July 2020. DOI: 10.1016/j.micpro.2020.103109 |
Jahr:
|
|
2020
|
|
» PREASC: Automatic Portion Resilience Evaluation for Approximating SystemC-based Designs using Regression Analysis Techniques
[Link zur Zeitschriften-Homepage]
|
 |
|
|
|
|
Autor:
|
|
Mehran Goli, Rolf Drechsler |
| Zeitschrift: |
|
ACM Transactions on Design Automation of Electronic Systems (TODAES) |
| Details: |
|
volume: 25, number: 5, numpages: 28, URL: https://doi.org/10.1145/3388140,
DOI: 10.1145/3388140
|
Jahr:
|
|
2020
|
|
» RISC-V based Virtual Prototype: An Extensible and Configurable Platform for the System-level
[Link zur Zeitschriften-Homepage]
|
|
|
|
|
|
Autor:
|
|
Vladimir Herdt, Daniel Große, Pascal Pieper, Rolf Drechsler |
| Zeitschrift: |
|
Journal of Systems Architecture - Embedded Software Design (JSA) |
| Details: |
|
https://doi.org/10.1016/j.sysarc.2020.101756 |
Jahr:
|
|
2020
|
|
» Reversible Circuits: IC/IP Piracy Attacksand Countermeasures
[Link zur Zeitschriften-Homepage]
|
 |
|
|
|
|
Autor:
|
|
Samah Mohamed Saeed, Alwin Zulehner, Robert Wille, Rolf Drechsler and Ramesh Karri |
| Zeitschrift: |
|
IEEE Transactions On Very Large Scale Integration (VLSI) Systems |
| Details: |
|
Seite 1-13 |
Jahr:
|
|
2019
|
|
» Near Zero-Energy Computation Using Quantum-dot Cellular Automata
|
|
|
|
|
|
Autor:
|
|
Frank Sill Torres, Robert Wille, Philipp Niemann, Rolf Drechsler |
| Zeitschrift: |
|
Journal on Emerging Technologies in Computing Systems (JETC) |
| Details: |
|
Vol. 16, No. 1, https://dl.acm.org/doi/abs/10.1145/3365394, 2019 |
Jahr:
|
|
2019
|
|
» Placement & Routing for Tile-based Field-coupled Nanocomputing Circuits is NP-complete
[Link zur Zeitschriften-Homepage]
|
|
|
|
|
|
Autor:
|
|
Marcel Walter, Robert Wille, Daniel Große, Frank Sill Torres, Rolf Drechsler |
| Zeitschrift: |
|
Journal on Emerging Technologies in Computing Systems (JETC) |
| Details: |
|
Volume 15, Issue 3, Number 29, April 2019. DOI: 10.1145/3312661 |
Jahr:
|
|
2019
|
|
» Combining Sequentialization-based Verification of Multi-Threaded C Programs with Symbolic Partial Order Reduction
[Link zur Zeitschriften-Homepage]
|
 |
|
|
|
|
Autor:
|
|
Vladimir Herdt, Hoang M. Le, Daniel Große, Rolf Drechsler |
| Zeitschrift: |
|
International Journal of Software Tools for Technology Transfer (STTT) |
| Details: |
|
21(5):545-565. doi.org/10.1007/s10009-019-00507-5 |
Jahr:
|
|
2019
|
|
» Security Validation of VP-based SoCs Using
Dynamic Information Flow Tracking
[Link zur Zeitschriften-Homepage]
|
 |
|
|
|
|
Autor:
|
|
Mehran Goli, Muhammad Hassan, Daniel Große, Rolf Drechsler |
| Zeitschrift: |
|
it-Information Technology |
| Details: |
|
accepted |
Jahr:
|
|
2019
|
|
» Automated Non-intrusive Analysis of Electronic System Level Designs
[Link zur Zeitschriften-Homepage]
|
|
|
|
|
|
Autor:
|
|
Mehran Goli, Jannis Stoppe, Rolf Drechsler |
| Zeitschrift: |
|
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems |
| Details: |
|
volume: 39, number: 2, pages: 492-505, URL: https://doi.org/10.1109/TCAD.2018.2889665, DOI: 10.1109/TCAD.2018.2889665, |
Jahr:
|
|
2020
|
|
» Determining Application-specific Knowledge for Improving Robustness of Sequential Circuits
[Link zur Zeitschriften-Homepage]
|
|
|
|
|
|
Autor:
|
|
Sebastian Huhn, Stefan Frehse, Robert Wille, Rolf Drechsler |
| Zeitschrift: |
|
IEEE Transactions On Very Large Scale Integration (VLSI) Systems |
| Details: |
|
Volume 27, Number 4, Pages. 875-887, April 2019. DOI: 10.1109/TVLSI.2018.2890601 |
Jahr:
|
|
2019
|
|
» The complexity of error metrics
[Link zur Zeitschriften-Homepage]
|
 |
|
|
|
|
Autor:
|
|
Oliver Keszöcze, Mathias Soeken, Rolf Drechsler |
| Zeitschrift: |
|
Information Processing Letters |
| Details: |
|
Volume 139, (November 2018), pp. 1-7.
DOI: 10.1016/j.ipl.2018.06.010 |
Jahr:
|
|
2018
|
|
» On the complexity of design tasks for Digital Microfluidic Biochips
[Link zur Zeitschriften-Homepage]
|
 |
|
|
|
|
Autor:
|
|
Oliver Keszöcze, Philipp Niemann, Arved Friedemann, Rolf Drechsler |
| Zeitschrift: |
|
Microelectronics Journal |
| Details: |
|
Volume 78, Pages 35-45 |
Jahr:
|
|
2018
|
|
» Evaluation of (power) side-channels
in cryptographic implementations
[Link zur Zeitschriften-Homepage]
|
 |
|
|
|
|
Autor:
|
|
Florian Bache, Christina Plump, Jonas Wloka, Tim Güneysu, and Rolf Drechsler |
| Zeitschrift: |
|
it – Information Technology |
| Details: |
|
Volume 61(1), DOI: 10.1515/itit-2018-0028 |
Jahr:
|
|
2019
|
|
» Arduinos in der Schule -
Lernen mit Mikrocontrollern
[Link zur Zeitschriften-Homepage]
|
 |
|
|
|
|
Autor:
|
|
Cornelia Große, Claudia Sobich, Sebastian Huhn, Markus Leuschner, Rolf Drechsler, Lutz
Mädler |
| Zeitschrift: |
|
Computer + Unterricht |
| Details: |
|
Volume 110, May 2018, Pages 43-45 |
Jahr:
|
|
2018
|
|
» Verifying SystemC using Intermediate Verification Language and Stateful Symbolic Simulation
[Link zur Zeitschriften-Homepage]
|
|
|
|
|
|
Autor:
|
|
Vladimir Herdt, Hoang M. Le, Daniel Große, Rolf Drechsler |
| Zeitschrift: |
|
IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems (TCAD) |
| Details: |
|
38(7):1359-1372. doi.org/10.1109/TCAD.2018.2846638 |
Jahr:
|
|
2018
|
|
» Logic synthesis for RRAM-based in-memory computing
[Link zur Zeitschriften-Homepage]
|
 |
|
|
|
|
Autor:
|
|
Saeideh Shirinzadeh, Mathias Soeken, Pierre-Emmanuel Gaillardon, Rolf Drechsler |
| Zeitschrift: |
|
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems |
| Details: |
|
vol. 37, no. 7, pp. 1422-1435, July 2018.
DOI: 10.1109/TCAD.2017.2750064 |
Jahr:
|
|
2018
|
|
» Behaviour Driven Development for Hardware Design
[Link zur Zeitschriften-Homepage]
|
 |
|
|
|
|
Autor:
|
|
Melanie Diepenbeck, Ulrich Kühne, Mathias Soeken, Daniel Große, Rolf Drechsler |
| Zeitschrift: |
|
IPSJ Transactions on System LSI Design Methodology |
| Details: |
|
vol. 11, pp. 29-45
PDF Download
|
Jahr:
|
|
2018
|
|
» An Automated Approach for Generating and Checking Control Logic for Reversible Hardware Description Language-Based Designs
[Link zur Zeitschriften-Homepage]
|
 |
|
|
|
|
Autor:
|
|
Robert Wille, Oliver Keszöcze, Larts Othmer, Michael Kirkedal Thomsen, Rolf Drechsler |
| Zeitschrift: |
|
Journal of Low Power Electronics |
| Details: |
|
Volume 13, Number 4, Pages 633-641 |
Jahr:
|
|
2017
|
|
» An Energy-aware Model for the Logic Synthesis of Quantum-Dot Cellular Automata
[Link zur Zeitschriften-Homepage]
|
|
|
|
|
|
Autor:
|
|
Frank Sill Torres, Robert Wille, Philipp Niemann, Rolf Drechsler |
| Zeitschrift: |
|
IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems |
| Details: |
|
vol. 37, no. 12, pp. 3031-3041, December 2018.
DOI: 10.1109/TCAD.2018.2789782 |
Jahr:
|
|
2018
|
|
» Frame Conditions in the Automatic Validation and Verification of UML/OCL Models: A Symbolic Formulation of modifies only Statements
[Link zur Zeitschriften-Homepage]
|
 |
|
|
|
|
Autor:
|
|
Nils Przigoda, Philipp Niemann, Jonas Gomes Filho, Robert Wille, Rolf Drechsler |
| Zeitschrift: |
|
Computer Languages, Systems & Structures |
| Details: |
|
Volume 54, December 2018, Pages 512-527
DOI: 10.1016/j.cl.2017.11.002 |
Jahr:
|
|
2018
|
|
» Synthesis of optical circuits using binary decision diagrams
[Link zur Zeitschriften-Homepage]
|
 |
|
|
|
|
Autor:
|
|
Arighna Deb, Robert Wille, Oliver Keszöcze, Saeideh Shirinzadeh, Rolf Drechsler |
| Zeitschrift: |
|
Integration, the VLSI Journal |
| Details: |
|
Volume 59, September 2017, Pages 42–51 |
Jahr:
|
|
2017
|
|
» A PLiM computer for the IoT
[Link zur Zeitschriften-Homepage]
|
 |
|
|
|
|
Autor:
|
|
Mathias Soeken, Pierre-Emmanuel Gaillardon, Saeideh Shirinzadeh, Rolf Drechsler, Giovanni De Micheli |
| Zeitschrift: |
|
Computer |
| Details: |
|
50(6):35-40, DOI: 10.1109/MC.2017.173 |
Jahr:
|
|
2017
|
|
» Towards a Verification Flow Across Abstraction Levels:
Verifying Implementations Against Their Formal Specification
[Link zur Zeitschriften-Homepage]
|
|
|
|
|
|
Autor:
|
|
Pablo Gonzalez-de-Aledo, Nils Przigoda, Robert Wille, Rolf Drechsler, Pablo Sanchez |
| Zeitschrift: |
|
IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems |
| Details: |
|
36(3):475-488, DOI: 10.1109/TCAD.2016.2611494
|
Jahr:
|
|
2017
|
|
» metaSMT: Focus On Your Application And Not On Solver Integration
[Link zur Zeitschriften-Homepage]
|
|
|
|
|
|
Autor:
|
|
Heinz Riener, Finn Haedicke, Stefan Frehse, Mathias Soeken, Daniel Große, Rolf Drechsler,
Görschwin Fey |
| Zeitschrift: |
|
International Journal of Software Tools for Technology Transfer |
| Details: |
|
19(5):605-621, DOI10.1007/s10009-016-0426-1 Link |
Jahr:
|
|
2017
|
|
» Verifying the Structure and Behavior in UML/OCL Models Using Satisfiability Solvers
[Link zur Zeitschriften-Homepage]
|
 |
|
|
|
|
Autor:
|
|
Nils Przigoda, Mathias Soeken, Robert Wille, Rolf Drechsler |
| Zeitschrift: |
|
IET Cyber-Physical Systems: Theory & Applications |
| Details: |
|
Volume 1, Issue 1, December 2016, pp. 49-59
DOI: 10.1049/iet-cps.2016.0022
|
Jahr:
|
|
2016
|
|
» Gates vs. Splitters: Contradictory Optimization Objectives in the Synthesis of Optical Circuits
[Link zur Zeitschriften-Homepage]
|
|
|
|
|
|
Autor:
|
|
Arighna Deb, Robert Wille, Oliver Keszöcze, Stefan Hillmich, Rolf Drechsler |
| Zeitschrift: |
|
Journal on Emerging Technologies in Computing Systems (JETC) |
| Details: |
|
Volume 13, Issue 1 |
Jahr:
|
|
2016
|
|
» Reversible Synthesis of Symmetric Functions with a Simple Regular Structure and Easy Testability
[Link zur Zeitschriften-Homepage]
|
|
|
|
|
|
Autor:
|
|
Arighna Deb, Debesh K. Das, Hafizur Rahaman, Robert Wille, Rolf Drechsler, Bhargab B. Bhattacharya |
| Zeitschrift: |
|
Journal on Emerging Technologies in Computing Systems (JETC) |
| Details: |
|
Volume 12 Issue 4, Article No. 34 |
Jahr:
|
|
2016
|
|
» On Optimization-based ATPG and its Application for Highly Compacted Test Sets
[Link zur Zeitschriften-Homepage]
|
|
|
|
|
|
Autor:
|
|
Stephan Eggersglüß, Kenneth Schmitz, Rene Krenz-Baath, Rolf Drechsler |
| Zeitschrift: |
|
IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems |
| Details: |
|
Vol. 35(12), pp. 2104-2117 |
Jahr:
|
|
2016
|
|
» Time-resolved detection of diffusion limited temperature gradients inside single isolated burning droplets using Rainbow Refractometry
[Link zur Zeitschriften-Homepage]
|
 |
|
|
|
|
Autor:
|
|
Christopher Rosebrock, Saeideh Shirinzadeh, Mathias Soeken, Norbert Riefler, Thomas Wriedt, Rolf Drechsler, Lutz Mädler |
| Zeitschrift: |
|
Combustion and Flame |
| Details: |
|
Volume 168, June 2016, Pages 255–269 |
Jahr:
|
|
2016
|
|
» Complexity of Reversible Circuits and their Quantum Implementations
[Link zur Zeitschriften-Homepage]
|
 |
|
|
|
|
Autor:
|
|
Nabila Abdessaied, Matthew Amy, Rolf Drechsler, Mathias Soeken |
| Zeitschrift: |
|
Theoretical Computer Science |
| Details: |
|
Volume 618, (March 2016), pp. 85–106.
DOI:10.1016/j.tcs.2016.01.011 |
Jahr:
|
|
2016
|
|
» Analyzing Inconsistencies in UML/OCL Models
[Link zur Zeitschriften-Homepage]
|
 |
|
|
|
|
Autor:
|
|
Nils Przigoda, Robert Wille, Rolf Drechsler |
| Zeitschrift: |
|
Journal of Circuits, Systems and Computers |
| Details: |
|
Volume 25, Issue 03, March 2016DOI: 10.1142/S0218126616400211 |
Jahr:
|
|
2016
|
|
» Atomic distributions in crystal structures solved by Boolean satisfiability techniques
[Link zur Zeitschriften-Homepage]
|
 |
|
|
|
|
Autor:
|
|
Mathias Soeken, Rolf Drechsler, Reinhard X. Fischer |
| Zeitschrift: |
|
Zeitschrift für Kristallographie - Crystalline Materials |
| Details: |
|
Z. Kristallogr. 2016; 231(2): 107–111 |
Jahr:
|
|
2015
|
|
» SyReC: A Hardware Description Language for the Specification and Synthesis of Reversible Circuits
[Link zur Zeitschriften-Homepage]
|
|
|
|
|
|
Autor:
|
|
Robert Wille, Eleonora Schonborn, Mathias Soeken, Rolf Drechsler |
| Zeitschrift: |
|
INTEGRATION, the VLSI Journal |
| Details: |
|
53(3):39-53 |
Jahr:
|
|
2016
|
|
» Analyzing SystemC Designs: SystemC Analysis Approaches for Varying Applications
[Link zur Zeitschriften-Homepage]
|
 |
|
|
|
|
Autor:
|
|
Jannis Stoppe, Rolf Drechsler |
| Zeitschrift: |
|
Sensors |
| Details: |
|
Volume (issue) 15(5), pages 10399-10421 |
Jahr:
|
|
2015
|
|
» Scalable One-Pass Synthesis for Digital Microfluidic Biochips
[Link zur Zeitschriften-Homepage]
|
 |
|
|
|
|
Autor:
|
|
Robert Wille, Oliver Keszöcze, Tobias Boehnisch, Alexander Kroker, Rolf Drechsler |
| Zeitschrift: |
|
IEEE Design & Test of Computers |
| Details: |
|
Volume 32, Issue 66, Pages 41—50 |
Jahr:
|
|
2015
|
|
» QMDDs: Efficient Quantum Function Representation and Manipulation
[Link zur Zeitschriften-Homepage]
|
|
|
|
|
|
Autor:
|
|
Philipp Niemann, Robert Wille, D. Michael Miller, Mitchell A. Thornton, Rolf Drechsler |
| Zeitschrift: |
|
IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems |
| Details: |
|
Volume 35, Number 1, pp. 86-99DOI: 10.1109/TCAD.2015.2459034
|
Jahr:
|
|
2016
|
|
» Embedding of Large Boolean Functions for Reversible Logic
[Link zur Zeitschriften-Homepage]
|
|
|
|
|
|
Autor:
|
|
Mathias Soeken, Robert Wille, Oliver Keszöcze, D. Michael Miller, Rolf Drechsler |
| Zeitschrift: |
|
Journal on Emerging Technologies in Computing Systems (JETC) |
| Details: |
|
Volume 12, Issue 4
Preprint available at arXiv 1408.3586 |
Jahr:
|
|
2015
|
|
» Ancilla-free synthesis of large reversible functions using binary decision diagrams
[Link zur Zeitschriften-Homepage]
|
 |
|
|
|
|
Autor:
|
|
Mathias Soeken, Laura Tague, Gerhard W. Dueck, Rolf Drechsler |
| Zeitschrift: |
|
Journal of Symbolic Computation |
| Details: |
|
accepted, preprint available at arXiv 1408.3955 |
Jahr:
|
|
2015
|
|
» Benefits of illustrations and videos for technical documentations
[Link zur Zeitschriften-Homepage]
|
 |
|
|
|
|
Autor:
|
|
Cornelia Große, Lisa Jungmann, Rolf Drechsler |
| Zeitschrift: |
|
Computers in Human Behavior |
| Details: |
|
Volume 45, April 2015, Pages 109–120
DOI: 10.1016/j.chb.2014.11.095 |
Jahr:
|
|
2015
|
|
» Incorporating User Preferences in Many-Objective Optimization using Relation epsilon-Preferred
[Link zur Zeitschriften-Homepage]
|
 |
|
|
|
|
Autor:
|
|
Nicole Drechsler, André Sülflow, Rolf Drechsler |
| Zeitschrift: |
|
Natural Computing |
| Details: |
|
Volume 14, Issue 3, pp 469-483 |
Jahr:
|
|
2015
|
|
» Exact Reordering of Circuit Lines for Nearest Neighbor Quantum Architectures
[Link zur Zeitschriften-Homepage]
|
|
|
|
|
|
Autor:
|
|
Robert Wille, Aaron Lye, Rolf Drechsler |
| Zeitschrift: |
|
IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems |
| Details: |
|
Volume 33, Number 12, pp. 1818-1831DOI: 10.1109/TCAD.2014.2356463
|
Jahr:
|
|
2014
|
|
» Special Issue on Reversible Computation
[Link zur Zeitschriften-Homepage]
|
|
|
|
|
|
Autor:
|
|
Robert Wille, Rolf Drechsler, Mehdi . B. Tahoori (editors)
|
| Zeitschrift: |
|
Journal on Emerging Technologies in Computing Systems (JETC) |
| Details: |
|
Volume 11, Number 2 |
Jahr:
|
|
2014
|
|
» An effective fault ordering heuristic for SAT-based dynamic test compaction techniques
[Link zur Zeitschriften-Homepage]
|
 |
|
|
|
|
Autor:
|
|
Stephan Eggersglüß, Rolf Drechsler |
| Zeitschrift: |
|
it-Information Technology |
| Details: |
|
Volume 56, Number 4, pp. 157-164
Special Issue |
Jahr:
|
|
2014
|
|
» Testing integrated circuits
[Link zur Zeitschriften-Homepage]
|
|
|
|
|
|
Autor:
|
|
Rolf Drechsler |
| Zeitschrift: |
|
it-Information Technology |
| Details: |
|
Volume 56, Number 4, pp. 148-149
Special Issue |
Jahr:
|
|
2014
|
|
» Upper bounds for reversible circuits based on Young subgroups
[Link zur Zeitschriften-Homepage]
|
|
|
|
|
|
Autor:
|
|
Nabila Abdessaied, Mathias Soeken, Michael Kirkedal Thomsen, Rolf Drechsler |
| Zeitschrift: |
|
Information Processing Letters |
| Details: |
|
Volume 114, Number 06 (June 2014), pp. 282-286.
DOI: 10.1016/j.ipl.2014.01.003 |
Jahr:
|
|
2014
|
|
» Considering Nearest Neighbor Constraints of Quantum Circuits at the Reversible Circuit Level
|
|
|
|
|
|
Autor:
|
|
Robert Wille, Aaron Lye, Rolf Drechsler |
| Zeitschrift: |
|
Quantum Information Processing |
| Details: |
|
DOI: http://dx.doi.org/10.1007/s11128-013-0642-5 |
Jahr:
|
|
2013
|
|
» Quantum circuits employing roots of the Pauli matrices
[Link zur Zeitschriften-Homepage]
|
 |
|
|
|
|
Autor:
|
|
Mathias Soeken, D. Michael Miller, Rolf Drechsler |
| Zeitschrift: |
|
Physical Review A |
| Details: |
|
Volume 88, 042322, 2013, DOI: 10.1103/PhysRevA.88.042322 |
Jahr:
|
|
2013
|
|
» Trading Off Circuit Lines and Gate Costs in the Synthesis of Reversible Logic
[Link zur Zeitschriften-Homepage]
|
|
|
|
|
|
Autor:
|
|
Robert Wille, Mathias Soeken, D. Michael Miller, Rolf Drechsler |
| Zeitschrift: |
|
INTEGRATION, the VLSI Journal |
| Details: |
|
Volume 47, Number 2, pp. 284-294, DOI: 10.1016/j.vlsi.2013.08.002 |
Jahr:
|
|
2014
|
|
» A Formal Model for Embedded Brain Reading
[Link zur Zeitschriften-Homepage]
|
 |
|
|
|
|
Autor:
|
|
Elsa Andrea Kirchner, Rolf Drechsler |
| Zeitschrift: |
|
Industrial Robot: an International Journal |
| Details: |
|
Volume 40, Issue 6, pp. 530-540 |
Jahr:
|
|
2013
|
|
» Effect of Negative Control Lines on the Exact Synthesis of Reversible Circuits
[Link zur Zeitschriften-Homepage]
|
 |
|
|
|
|
Autor:
|
|
Robert Wille, Mathias Soeken, Nils Przigoda, Rolf Drechsler |
| Zeitschrift: |
|
Multiple-Valued Logic and Soft Computing |
| Details: |
|
Volume 21, Number 5-6, 2013, pp. 627-640 |
Jahr:
|
|
2013
|
|
» RevKit: An Open Source Toolkit for the Design of Reversible Circuits
[Link zur Zeitschriften-Homepage]
|
 |
|
|
|
|
Autor:
|
|
Mathias Soeken, Stefan Frehse, Robert Wille, Rolf Drechsler |
| Zeitschrift: |
|
Reversible Computation 2011 (Series: Lecture Notes in Computer Science) |
| Details: |
|
Volume 7165, Third International Workshop, RC 2011, Revised Papers, pp. 64-76 |
Jahr:
|
|
2012
|
|
» Enhanced Formal Verification Flow for Circuits Integrating Debugging and Coverage Analysis
|
 |
|
|
|
|
Autor:
|
|
Daniel Große, Görschwin Fey, Rolf Drechsler |
| Zeitschrift: |
|
Electronic Communications of the EASST |
| Details: |
|
Volume 62, 13 pages |
Jahr:
|
|
2013
|
|
» Automatic TLM Fault Localization for SystemC
[Link zur Zeitschriften-Homepage]
|
|
|
|
|
|
Autor:
|
|
Hoang M. Le, Daniel Große, Rolf Drechsler |
| Zeitschrift: |
|
IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems |
| Details: |
|
Volume 31, Number 8, pp. 1249-1262,
DOI: 10.1109/TCAD.2012.2188800
|
Jahr:
|
|
2012
|
|
» Special Issue on Reversible Computation
[Link zur Zeitschriften-Homepage]
|
|
|
|
|
|
Autor:
|
|
Rolf Drechsler, Irek Ulidowski, Robert Wille (editors) |
| Zeitschrift: |
|
Multiple-Valued Logic and Soft Computing |
| Details: |
|
Volume 18, Number 1 |
Jahr:
|
|
2012
|
|
» RevKit: A Toolkit for Reversible Circuit Design
[Link zur Zeitschriften-Homepage]
|
|
|
|
|
|
Autor:
|
|
Mathias Soeken, Stefan Frehse, Robert Wille, Rolf Drechsler |
| Zeitschrift: |
|
Multiple-Valued Logic and Soft Computing |
| Details: |
|
Volume 18, Number 1, pp. 55-65 |
Jahr:
|
|
2012
|
|
» A Highly Fault-Efficient SAT-Based ATPG Flow
[Link zur Zeitschriften-Homepage]
|
|
|
|
|
|
Autor:
|
|
Stephan Eggersglüß, Rolf Drechsler |
| Zeitschrift: |
|
IEEE Design & Test of Computers |
| Details: |
|
Volume 29, Issue 4 (July/August), pp. 63-70
|
Jahr:
|
|
2012
|
|
» Efficient Data Structures and Methodologies for SAT-based ATPG providing High Fault Coverage in Industrial Application
[Link zur Zeitschriften-Homepage]
|
|
|
|
|
|
Autor:
|
|
Stephan Eggersglüß, Rolf Drechsler |
| Zeitschrift: |
|
IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems |
| Details: |
|
Volume 30, Number 9, pp. 1411-1415,
DOI: 10.1109/TCAD.2011.2152450 |
Jahr:
|
|
2011
|
|
» Effective Robustness Analysis using Bounded Model Checking Techniques
[Link zur Zeitschriften-Homepage]
|
|
|
|
|
|
Autor:
|
|
Görschwin Fey, André Sülflow, Stefan Frehse, Rolf Drechsler |
| Zeitschrift: |
|
IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems |
| Details: |
|
Volume 30, Number 8, pp. 1239-1252
DOI: 10.1109/TCAD.2011.2120950 |
Jahr:
|
|
2011
|
|
» Synthesis of Quantum Circuits for Linear Nearest Neighbor Architectures
[Link zur Zeitschriften-Homepage]
|
|
|
|
|
|
Autor:
|
|
Mehdi Saeedi, Robert Wille, Rolf Drechsler |
| Zeitschrift: |
|
Quantum Information Processing |
| Details: |
|
Volume 10, Number 3, pp. 355-377DOI: 10.1007/s11128-010-0201-2 |
Jahr:
|
|
2011
|
|
» Debugging Reversible Circuits
[Link zur Zeitschriften-Homepage]
|
|
|
|
|
|
Autor:
|
|
Robert Wille, Daniel Große, Stefan Frehse, Gerhard W. Dueck, Rolf Drechsler |
| Zeitschrift: |
|
INTEGRATION, the VLSI Journal |
| Details: |
|
Volume 44, Number 1, pp. 51-61, JanuaryDOI: 10.1016/j.vlsi.2010.08.002 |
Jahr:
|
|
2011
|
|
» BDD-Based Synthesis of Reversible Logic
[Link zur Zeitschriften-Homepage]
|
 |
|
|
|
|
Autor:
|
|
Robert Wille, Rolf Drechsler |
| Zeitschrift: |
|
International Journal of Applied Metaheuristic Computing (IJAMC) |
| Details: |
|
Volume 1, Number 4, pp. 25-41 |
Jahr:
|
|
2010
|
|
» Automatische formale Verifikation der Fehlertoleranz von Schaltkreisen
[Link zur Zeitschriften-Homepage]
|
 |
|
|
|
|
Autor:
|
|
Görschwin Fey, Andre Sülflow, Stefan Frehse, Rolf Drechsler |
| Zeitschrift: |
|
it-Information Technology |
| Details: |
|
Volume 52, Number 4, pp. 216-223
PDF Download |
Jahr:
|
|
2010
|
|
» Towards Fully Automatic Synthesis of Embedded Software
[Link zur Zeitschriften-Homepage]
|
 |
|
|
|
|
Autor:
|
|
Ulrich Kühne, Daniel Große, Rolf Drechsler |
| Zeitschrift: |
|
IEEE Embedded Systems Letters |
| Details: |
|
Volume 2, Number 3, pp. 53-57, September |
Jahr:
|
|
2010
|
|
» Effect of BDD Optimization on Synthesis of Reversible and Quantum Logic
[Link zur Zeitschriften-Homepage]
|
 |
|
|
|
|
Autor:
|
|
Robert Wille, Rolf Drechsler |
| Zeitschrift: |
|
Electronic Notes in Theoretical Computer Science |
| Details: |
|
Volume 253, Number 6, pp. 57-70DOI: 10.1016/j.entcs.2010.02.006 |
Jahr:
|
|
2010
|
|
» Incremental Solving Techniques for SAT-based ATPG
[Link zur Zeitschriften-Homepage]
|
|
|
|
|
|
Autor:
|
|
Daniel Tille, Stephan Eggersglüß, Rolf Drechsler |
| Zeitschrift: |
|
IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems |
| Details: |
|
Volume 29, Number 7, pp. 1125-1130, July |
Jahr:
|
|
2010
|
|
» Synthese reversibler Logik
[Link zur Zeitschriften-Homepage]
|
|
|
|
|
|
Autor:
|
|
Robert Wille, Rolf Drechsler |
| Zeitschrift: |
|
it-Information Technology |
| Details: |
|
Volume 52, Number 1, pp. 30-38
PDF Download |
Jahr:
|
|
2010
|
|
» MONSOON: SAT-based ATPG for Path Delay Faults Using Multiple-Valued Logics
[Link zur Zeitschriften-Homepage]
|
 |
|
|
|
|
Autor:
|
|
Stephan Eggersglüß, Görschwin Fey, Andreas Glowatz, Friedrich Hapke, Juergen Schloeffel, Rolf Drechsler |
| Zeitschrift: |
|
Journal of Electronic Testing: Theory and Applications |
| Details: |
|
Volume 26, Number 3 / June, pp. 307-322
Pdf download (Preliminary Version)
The final publication is available at www.springerlink.com |
Jahr:
|
|
2010
|
|
» Overcoming the limitations of data introspection for SystemC
[Link zur Zeitschriften-Homepage]
|
 |
|
|
|
|
Autor:
|
|
Christian Genz, Rolf Drechsler |
| Zeitschrift: |
|
EDA Tech Forum |
| Details: |
|
Volume 6, Issue 5, Pages 30-34 (December 2009) |
Jahr:
|
|
2009
|
|
» Weighted A* search - unifying view and application
[Link zur Zeitschriften-Homepage]
|
 |
|
|
|
|
Autor:
|
|
Rüdiger Ebendt, Rolf Drechsler |
| Zeitschrift: |
|
Artificial Intelligence |
| Details: |
|
Volume 173, Issue 15, Pages 1367-1456 (September 2009) |
Jahr:
|
|
2009
|
|
» Effiziente Erfüllbarkeitsalgorithmen für die Generierung von Testmustern
[Link zur Zeitschriften-Homepage]
|
 |
|
|
|
|
Autor:
|
|
Rolf Drechsler, Stephan Eggersglüß, Görschwin Fey, Jürgen Schlöffel, Daniel Tille |
| Zeitschrift: |
|
it - information technology |
| Details: |
|
Volume 51, Number 2, pp. 102-111
Pdf download |
Jahr:
|
|
2009
|
|
» Exact Synthesis of Elementary Quantum Gate Circuits
[Link zur Zeitschriften-Homepage]
|
|
|
|
|
|
Autor:
|
|
Daniel Große, Robert Wille, Gerhard W. Dueck, Rolf Drechsler |
| Zeitschrift: |
|
Multiple-Valued Logic and Soft Computing |
| Details: |
|
Volume 15, Number 4, pp. 283-300 |
Jahr:
|
|
2009
|
|
» Advanced Verification by Automatic Property Generation
[Link zur Zeitschriften-Homepage]
|
 |
|
|
|
|
Autor:
|
|
Frank Rogin, Thomas Klotz, Görschwin Fey, Rolf Drechsler, Steffen Rülke |
| Zeitschrift: |
|
IET Computers & Digital Techniques |
| Details: |
|
Volume 3, Issue 4, pp. 338-353, July |
Jahr:
|
|
2009
|
|
» Exact Multiple Control Toffoli Network Synthesis with SAT Techniques
[Link zur Zeitschriften-Homepage]
|
|
|
|
|
|
Autor:
|
|
Daniel Große, Robert Wille, Gerhard W. Dueck, Rolf Drechsler |
| Zeitschrift: |
|
IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems |
| Details: |
|
Volume 28, Number 5, pp. 703-715, MayDOI: 10.1109/TCAD.2009.2017215 |
Jahr:
|
|
2009
|
|
» Modeling and Proving Completeness in Formal Verification of Counting Heads
[Link zur Zeitschriften-Homepage]
|
|
|
|
|
|
Autor:
|
|
Sebastian Kinder, Rolf Drechsler |
| Zeitschrift: |
|
Software Tools for Technology Transfer (STTT)
|
| Details: |
|
Springer, Volume 10, Number 6, pp. 521 - 534 |
Jahr:
|
|
2008
|
|
» On Acceleration of SAT-based ATPG for Industrial Designs
[Link zur Zeitschriften-Homepage]
|
|
|
|
|
|
Autor:
|
|
Rolf Drechsler, Stephan Eggersglüß, Görschwin Fey, Andreas Glowatz, Friedrich Hapke, Juergen Schloeffel, Daniel Tille |
| Zeitschrift: |
|
IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems |
| Details: |
|
Volume 27, Number 7, pp. 1329-1333, July |
Jahr:
|
|
2008
|
|
» Improved SAT-based Reachability Analysis with Observability Don’t Cares
[Link zur Zeitschriften-Homepage]
|
 |
|
|
|
|
Autor:
|
|
Sean Safarpour, Andreas Veneris and Rolf Drechsler |
| Zeitschrift: |
|
Journal on Satisfiability, Boolean Modeling and Computation (JSAT) |
| Details: |
|
Volume 5, pp. 1-25, Special Volume on Application of Constraints to Formal Verification |
Jahr:
|
|
2008
|
|
» On the Construction of Small Fully Testable Circuits with Low Depth
[Link zur Zeitschriften-Homepage]
|
 |
|
|
|
|
Autor:
|
|
Görschwin Fey, Anna Bernasconi, Valentina Ciriani, Rolf Drechsler |
| Zeitschrift: |
|
Embedded Hardware Design - Microprocessors and Microsystems (MICPRO) |
| Details: |
|
Special Issue, Volume 32, Issues 5-6, pp. 263-269 |
Jahr:
|
|
2008
|
|
» Logic Minimization and Testability of 2-SPP Networks
[Link zur Zeitschriften-Homepage]
|
|
|
|
|
|
Autor:
|
|
Anna Bernasconi, Valentina Ciriani, Rolf Drechsler, Tiziano Villa |
| Zeitschrift: |
|
IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems |
| Details: |
|
Volume 27, Number 7, pp. 1190-1202, July |
Jahr:
|
|
2008
|
|
» Analyzing Functional Coverage in Bounded Model Checking
[Link zur Zeitschriften-Homepage]
|
|
|
|
|
|
Autor:
|
|
Daniel Große, Ulrich Kühne, Rolf Drechsler |
| Zeitschrift: |
|
IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems |
| Details: |
|
Volume 27, Number 7, pp. 1305-1314, July |
Jahr:
|
|
2008
|
|
» Automatic Fault Localization for Property Checking
[Link zur Zeitschriften-Homepage]
|
|
|
|
|
|
Autor:
|
|
Görschwin Fey, Stefan Staber, Roderick Bloem, Rolf Drechsler |
| Zeitschrift: |
|
IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems |
| Details: |
|
Volume 27, Number 6, pp. 1138-1149, June |
Jahr:
|
|
2008
|
|
» BDD-based Verification of Scalable Designs
[Link zur Zeitschriften-Homepage]
|
 |
|
|
|
|
Autor:
|
|
Daniel Große, Rolf Drechsler |
| Zeitschrift: |
|
Facta Universitatis, Series: Electronics and Energetics |
| Details: |
|
Volume 20, Number 3, pp. 367-379 |
Jahr:
|
|
2007
|
|
» Building Free Binary Decision Diagrams Using SAT Solvers
[Link zur Zeitschriften-Homepage]
|
|
|
|
|
|
Autor:
|
|
Robert Wille, Görschwin Fey, Rolf Drechsler |
| Zeitschrift: |
|
Facta Universitatis, Series: Electronics and Energetics |
| Details: |
|
Volume 20, Number 3, pp. 381-394, |
Jahr:
|
|
2007
|
|
» An Integrated Approach for Combining BDDs and SAT Provers
[Link zur Zeitschriften-Homepage]
|
|
|
|
|
|
Autor:
|
|
Rolf Drechsler, Görschwin Fey, Sebastian Kinder |
| Zeitschrift: |
|
Facta Universitatis, Series: Electronics and Energetics
|
| Details: |
|
Volume 20, Number 3, pp. 415-436 |
Jahr:
|
|
2007
|
|
» Technische Dokumentation von Soft- und Hardware in
eingebetteten Systemen
[Link zur Zeitschriften-Homepage]
|
|
|
|
|
|
Autor:
|
|
Beate Muranko, Rolf Drechsler |
| Zeitschrift: |
|
it - information technology |
| Details: |
|
Number 2, pp. 110-117
Pdf download |
Jahr:
|
|
2007
|
|
» Exact minimisation of path-related objective functions for binary decision diagrams
[Link zur Zeitschriften-Homepage]
|
 |
|
|
|
|
Autor:
|
|
Rüdiger Ebendt, Rolf Drechsler |
| Zeitschrift: |
|
IEE Proceedings Computer & Digital Techniques |
| Details: |
|
Volume 153, Number 4, pp. 231-242, July |
Jahr:
|
|
2006
|
|
» Testability of SPP Three-Level Logic Networks in Static Fault Models
[Link zur Zeitschriften-Homepage]
|
|
|
|
|
|
Autor:
|
|
Valentina Ciriani, Anna Bernasconi, Rolf Drechsler |
| Zeitschrift: |
|
IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems |
| Details: |
|
Volume 25, Number 10, pp. 2241-2248, October |
Jahr:
|
|
2006
|
|
» The Effect of Improved Lower Bounds in Dynamic BDD Reordering
[Link zur Zeitschriften-Homepage]
|
|
|
|
|
|
Autor:
|
|
Rüdiger Ebendt, Rolf Drechsler |
| Zeitschrift: |
|
IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems |
| Details: |
|
Volume 25, Number 5, pp. 902-909, May |
Jahr:
|
|
2006
|
|
» Minimizing the Number of Paths in BDDs
- Theory and Algorithm
[Link zur Zeitschriften-Homepage]
|
|
|
|
|
|
Autor:
|
|
Görschwin Fey, Rolf Drechsler |
| Zeitschrift: |
|
IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems |
| Details: |
|
Volume 25, Number 1, pp. 4-11, January |
Jahr:
|
|
2006
|
|
» Combining Ordered Best-First Search with Branch and Bound for Exact BDD Minimization
[Link zur Zeitschriften-Homepage]
|
|
|
|
|
|
Autor:
|
|
Rüdiger Ebendt, Wolfgang Günther, Rolf Drechsler |
| Zeitschrift: |
|
IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems |
| Details: |
|
Volume 24, Number 10, pp. 1515-1529, October |
Jahr:
|
|
2005
|
|
» System Level Validation Using Formal Techniques
[Link zur Zeitschriften-Homepage]
|
|
|
|
|
|
Autor:
|
|
Rolf Drechsler, Daniel Große |
| Zeitschrift: |
|
IEE Proceedings Computer & Digital Techniques, Special Issue on Embedded Microelectronic Systems: Status and Trends |
| Details: |
|
Volume 152, Number 3, pp. 393-406, May |
Jahr:
|
|
2005
|
|
» Generic Implementation of Multi-Valued Decision Diagram Packages
|
|
|
|
|
|
Autor:
|
|
Rolf Drechsler, Dragan Jankovic, Radomir Stankovic |
| Zeitschrift: |
|
Multiple-Valued Logic and Soft Computing |
| Details: |
|
Volume 11, Numbers 1-2, pp. 1-18 |
Jahr:
|
|
2005
|
|
» Project-Based Learning in Student Teams in Computer Science Education
[Link zur Zeitschriften-Homepage]
|
|
|
|
|
|
Autor:
|
|
Andreas Breiter, Görschwin Fey, Rolf Drechsler |
| Zeitschrift: |
|
Facta Universitatis, Series: Electronics and Energetics
|
| Details: |
|
Volume 18, Number 2, August, pp. 165-180. |
Jahr:
|
|
2005
|
|
» Synthesis of Fully Testable Circuits from BDDs
[Link zur Zeitschriften-Homepage]
|
|
|
|
|
|
Autor:
|
|
Rolf Drechsler, Junhao Shi, Görschwin Fey |
| Zeitschrift: |
|
IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems |
| Details: |
|
Volume 23, Number 3, March |
Jahr:
|
|
2004
|
|
» Methods for Construction of Recursive Algorithms for Reed-Mulle-Fourier Polarity Matrices Calculation
|
|
|
|
|
|
Autor:
|
|
Dragan Jankovic, Rolf Drechsler |
| Zeitschrift: |
|
Multiple-Valued Logic and Soft Computing |
| Details: |
|
Volume 10, Numbers 1, pp. 29-50 |
Jahr:
|
|
2004
|
|
» Using Word-Level Information in Formal Hardware Verification
[Link zur Zeitschriften-Homepage]
|
 |
|
|
|
|
Autor:
|
|
Rolf Drechsler |
| Zeitschrift: |
|
Automation and Remote Control |
| Details: |
|
|
Jahr:
|
|
Volume 65, Issue 6, pp. 963-977, June 2004
|
|
» An Improved Branch and Bound Algorithm for Exact BDD Minimization
[Link zur Zeitschriften-Homepage]
|
|
|
|
|
|
Autor:
|
|
Rüdiger Ebendt, Wolfgang Günther, Rolf Drechsler |
| Zeitschrift: |
|
IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems |
| Details: |
|
Volume 22, Number 12, pp. 1657-1663, December |
Jahr:
|
|
2003
|
|
» Recursive Bi-Partitioning of Netlists for Large Number of Partitions
[Link zur Zeitschriften-Homepage]
|
 |
|
|
|
|
Autor:
|
|
Rolf Drechsler, Wolfgang Günther, Thomas Eschbach, Lothar Linhard, Gerhard Angst |
| Zeitschrift: |
|
Journal of Systems Architecture - the Euromicro Journal |
| Details: |
|
Volume 49, pp. 521-528 |
Jahr:
|
|
2003
|
|
» Ein Ansatz zur formalen Verifikation von Schaltungsbeschreibungen in SystemC
[Link zur Zeitschriften-Homepage]
|
 |
|
|
|
|
Autor:
|
|
Daniel Große, Rolf Drechsler |
| Zeitschrift: |
|
it - information technology |
| Details: |
|
Number 4, pp. 219-226, August |
Jahr:
|
|
2003
|
|
» Efficient Minimization and Manipulation of Linearly Transformed Binary Decision Diagrams
[Link zur Zeitschriften-Homepage]
|
 |
|
|
|
|
Autor:
|
|
Wolfgang Günther, Rolf Drechsler |
| Zeitschrift: |
|
IEEE Transactions on Computers |
| Details: |
|
Volume 52, Number 9, pp. 1196-1209, September |
Jahr:
|
|
2003
|
|
» Exact Routing with Search Space Reduction
[Link zur Zeitschriften-Homepage]
|
|
|
|
|
|
Autor:
|
|
Frank Schmiedle, Rolf Drechsler, Bernd Becker |
| Zeitschrift: |
|
IEEE Transactions on Computers |
| Details: |
|
Volume 52, Number 6, pp. 815-825, June |
Jahr:
|
|
2003
|
|
» Computer Architecture Core of Knowledge for Computer Science Studies
|
|
|
|
|
|
Autor:
|
|
M. Stojcev, I. Milentijevic, D. Kehagias, Rolf Drechsler, M. Gusev |
| Zeitschrift: |
|
Cyprus Computer Society Journal |
| Details: |
|
Volume I, Edition 4, April |
Jahr:
|
|
2003
|
|
» Polynomial Formal Verification of Multipliers
[Link zur Zeitschriften-Homepage]
|
 |
|
|
|
|
Autor:
|
|
Martin Keim, Rolf Drechsler, Bernd Becker, Michael Martin, Paul Molitor |
| Zeitschrift: |
|
Formal Methods in System Design: An International Journal |
| Details: |
|
Volume 22, Issue 1, pp. 39-58 |
Jahr:
|
|
2003
|
|
» Low Power Optimization Techniques for BDD Mapped Circuits Using Temporal Correlation
[Link zur Zeitschriften-Homepage]
|
 |
|
|
|
|
Autor:
|
|
Rolf Drechsler, Mikael Kerttu, Per Lindgren, Mitch Thornton |
| Zeitschrift: |
|
Canadian Journal of Electrical and Computer Engineering |
| Details: |
|
Volume 27, Number 4, pp. 159-164, October |
Jahr:
|
|
2002
|
|
» Minimization of Word-level Decision Diagrams
[Link zur Zeitschriften-Homepage]
|
|
|
|
|
|
Autor:
|
|
Rolf Drechsler, Wolfgang Günther, Stefan Höreth. |
| Zeitschrift: |
|
INTEGRATION, the VLSI Journal |
| Details: |
|
Volume 33, Issue 1-2, pp. 39-70 |
Jahr:
|
|
2002
|
|
» Minimization of Free BDDs
[Link zur Zeitschriften-Homepage]
|
|
|
|
|
|
Autor:
|
|
Wolfgang Günther, Rolf Drechsler |
| Zeitschrift: |
|
INTEGRATION, the VLSI Journal |
| Details: |
|
Volume 32, Issue 1-2, pp. 41-59 |
Jahr:
|
|
2002
|
|
» Verifying Integrity of Decision Diagrams
[Link zur Zeitschriften-Homepage]
|
|
|
|
|
|
Autor:
|
|
Rolf Drechsler |
| Zeitschrift: |
|
INTEGRATION, the VLSI Journal |
| Details: |
|
Volume 32, Issue 1-2, pp. 61-75 |
Jahr:
|
|
2002
|
|
» Heuristic Learning based on Genetic Programming
[Link zur Zeitschriften-Homepage]
|
 |
|
|
|
|
Autor:
|
|
Frank Schmiedle, Nicole Drechsler, Daniel Große and Rolf Drechsler |
| Zeitschrift: |
|
Genetic Programming and Evolvable Machines |
| Details: |
|
Volume 3, pp. 363-388, December |
Jahr:
|
|
2002
|
|
» Dynamic Re-Encoding During MDD Minimization
[Link zur Zeitschriften-Homepage]
|
 |
|
|
|
|
Autor:
|
|
Frank Schmiedle, Wolfgang Günther, Rolf Drechsler |
| Zeitschrift: |
|
Multiple-Valued Logic - An International Journal |
| Details: |
|
Volume 8, Numbers 5-6, pp. 625-643 |
Jahr:
|
|
2002
|
|
» History-based Dynamic BDD Minimization
[Link zur Zeitschriften-Homepage]
|
|
|
|
|
|
Autor:
|
|
Rolf Drechsler, Wolfgang Günther |
| Zeitschrift: |
|
INTEGRATION, the VLSI Journal |
| Details: |
|
Volume 31, Issue 1, pp. 51-63 |
Jahr:
|
|
2001
|
|
» Äquivalenzvergleich digitaler Schaltungen im industriellen Umfeld
|
 |
|
|
|
|
Autor:
|
|
Rolf Drechsler |
| Zeitschrift: |
|
it+ti - Informationstechnik und Technische Informatik |
| Details: |
|
Oldenbourg Wissenschaftsverlag, Number 4, pp. 200-205 |
Jahr:
|
|
2001
|
|
» Fault Simulation in Multi-Valued Logic Networks
[Link zur Zeitschriften-Homepage]
|
|
|
|
|
|
Autor:
|
|
Rolf Drechsler, Martin Keim, Bernd Becker |
| Zeitschrift: |
|
Multiple-Valued Logic - An International Journal |
| Details: |
|
Volume 7, Numbers 1-2, pp. 25-47 |
Jahr:
|
|
2001
|
|
» Binary Decision Diagrams in Theory and Practice
[Link zur Zeitschriften-Homepage]
|
|
|
|
|
|
Autor:
|
|
Rolf Drechsler, Detlef Sieling |
| Zeitschrift: |
|
Software Tools for Technology Transfer (STTT) |
| Details: |
|
Springer, Number 3, pp. 112-136 |
Jahr:
|
|
2001
|
|
» Combining GAs and Symbolic Methods for High Quality Tests of Sequential Circuits
[Link zur Zeitschriften-Homepage]
|
 |
|
|
|
|
Autor:
|
|
Martin Keim, Nicole Drechsler, Rolf Drechsler, Bernd Becker |
| Zeitschrift: |
|
Journal of Electronic Testing, Theory and Application (JETTA) |
| Details: |
|
No. 17, pp. 37-51, February |
Jahr:
|
|
2001
|
|
» Decision Diagram Method for Calculation of Pruned Walsh Transform
[Link zur Zeitschriften-Homepage]
|
|
|
|
|
|
Autor:
|
|
Dragan Jankovic, Radomir Stankovic, Rolf Drechsler |
| Zeitschrift: |
|
IEEE Transactions on Computers |
| Details: |
|
Volume 50, Number 2, pp. 147-157, February |
Jahr:
|
|
2001
|
|
» Using Lower Bounds during Dynamic BDD Minimization
[Link zur Zeitschriften-Homepage]
|
|
|
|
|
|
Autor:
|
|
Rolf Drechsler, Wolfgang Günther, Fabio Somenzi |
| Zeitschrift: |
|
IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems |
| Details: |
|
Volume 20, Number 1, pp. 51-57, January |
Jahr:
|
|
2001
|
|
» ACTion: Combining Logic Synthesis and Technology Mapping for MUX based FPGAs
[Link zur Zeitschriften-Homepage]
|
|
|
|
|
|
Autor:
|
|
Wolfgang Günther and Rolf Drechsler. |
| Zeitschrift: |
|
Journal of Systems Architecture - the Euromicro Journal |
| Details: |
|
Volume 46, Issue 14, pp. 1321-1334, December |
Jahr:
|
|
2000
|
|
» Boolean Function Representation and Spectral Characterization Using AND/OR Graphs
[Link zur Zeitschriften-Homepage]
|
|
|
|
|
|
Autor:
|
|
Alenka Zuzek, Rolf Drechsler, Mitch Thornton |
| Zeitschrift: |
|
INTEGRATION, the VLSI Journal |
| Details: |
|
Volume 29, Issue 2, pp. 101-116, September |
Jahr:
|
|
2000
|
|
» Genetic Algorithm for Minimization of fixed polarity Reed-Muller expressions
|
|
|
|
|
|
Autor:
|
|
Rolf Drechsler, Bernd Becker and Nicole Drechsler |
| Zeitschrift: |
|
IEE Proceedings Computers and Digital Techniques |
| Details: |
|
Volume 147, Number 5, September |
Jahr:
|
|
2000
|
|
» On the Computational Power of Linearly Transformed BDDs
[Link zur Zeitschriften-Homepage]
|
|
|
|
|
|
Autor:
|
|
Wolfgang Günther, Rolf Drechsler |
| Zeitschrift: |
|
Information Processing Letters |
| Details: |
|
Volume 75, Nummer 3, pp. 119-125, August |
Jahr:
|
|
2000
|
|
» Fast Exact Minimization of BDDs
[Link zur Zeitschriften-Homepage]
|
|
|
|
|
|
Autor:
|
|
Rolf Drechsler, Nicole Drechsler, Wolfgang Günther |
| Zeitschrift: |
|
IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems |
| Details: |
|
Volume 19, Number 3, pp. 384-389, March |
Jahr:
|
|
2000
|
|
» Pseudo Kronecker Expressions for Symmetric Functions
[Link zur Zeitschriften-Homepage]
|
|
|
|
|
|
Autor:
|
|
Rolf Drechsler |
| Zeitschrift: |
|
IEEE Transactions on Computers |
| Details: |
|
Volume 48, Number 9, pp. 987-990, September |
Jahr:
|
|
1999
|
|
» Testability of 2-Level AND/EXOR Circuits
[Link zur Zeitschriften-Homepage]
|
|
|
|
|
|
Autor:
|
|
Rolf Drechsler, Harry Hengster, Horst Schäfer, Joachim Hartmann, Bernd Becker |
| Zeitschrift: |
|
Journal of Electronic Testing, Theory and Application (JETTA) |
| Details: |
|
Volume 14, Number 3, pp. 173-192, June |
Jahr:
|
|
1999
|
|
» BDD Minimization Using Symmetries
[Link zur Zeitschriften-Homepage]
|
|
|
|
|
|
Autor:
|
|
Christoph Scholl, Dirk Möller, Paul Molitor, Rolf Drechsler |
| Zeitschrift: |
|
IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems |
| Details: |
|
Volume 18, Number 2, pp. 81-100, February |
Jahr:
|
|
1999
|
|
» On Variable Ordering and Decomposition Type Choice in OKFDDs
[Link zur Zeitschriften-Homepage]
|
|
|
|
|
|
Autor:
|
|
Rolf Drechsler, Bernd Becker, Andrea Jahnke |
| Zeitschrift: |
|
IEEE Transactions on Computers |
| Details: |
|
Volume 47, Number 12, December |
Jahr:
|
|
1998
|
|
|
KONFERENZEN |
|
» Automated Detection of Spatial Memory Safety Violations for Constrained Devices
|
|
|
|
Autor:
|
|
Sören Tempel, Vladimir Herdt, Rolf Drechsler |
| Konferenz: |
|
Asia and South Pacific Design Automation Conference (ASP-DAC) |
Referenz:
|
| Taipei, Taiwan, 2022
| Hyperlink:
|
| [Link zur Konferenz]
|
» Polynomial Formal Verification of Prefix Adders
|
|
|
|
Autor:
|
|
Alireza Mahzoon, Rolf Drechsler |
| Konferenz: |
|
Asian Test Symposium (ATS) |
Referenz:
|
| Virtual Conference, Japan, 2021
| Hyperlink:
|
| [Link zur Konferenz]
|
» A Codeword-based Compactor for On-Chip Generated Debug Data Using Two-Stage Artificial Neural Networks
|
|
|
|
Autor:
|
|
Marcel Merten, Sebastian Huhn, Rolf Drechsler |
| Konferenz: |
|
34th IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems (DFT) |
Referenz:
|
| Athens, Greece, 2021
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» Early Validation of SoCs Security Architecture Against Timing Flows Using SystemC-based VPs
|
|
|
|
Autor:
|
|
Mehran Goli, Rolf Drechsler |
| Konferenz: |
|
International Conference on Computer Aided Design (ICCAD) |
Referenz:
|
| Munich, Germany, 2021
| Hyperlink:
|
| [Link zur Konferenz]
|
» Metamorphic Testing for Processor Verification: A RISC-V Case Study at the Instruction Level
|
|
|
|
Autor:
|
|
Frank Riese, Vladimir Herdt, Daniel Große, Rolf Drechsler |
| Konferenz: |
|
IFIP/IEEE International Conference on
Very Large Scale Integration (VLSI-SoC) |
Referenz:
|
| Virtual Conference, Singapore, 2021
| Hyperlink:
|
| [Link zur Konferenz]
|
» RISC-V AMS VP: An Open Source Evaluation Platform for Cyber-Physical Systems
|
|
|
|
Autor:
|
|
Sallar Ahmadi-Pour, Vladimir Herdt, Rolf Drechsler |
| Konferenz: |
|
Forum on Specification & Design Languages (FDL) |
Referenz:
|
| Antibes, France, 2021
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» VIP-VP: Early Validation of SoCs Information Flow Policies using SystemC-based Virtual Prototypes
|
|
|
|
Autor:
|
|
Mehran Goli, Rolf Drechsler |
| Konferenz: |
|
Forum on Specification & Design Languages (FDL) |
Referenz:
|
| Antibes, France, 2021
Best Paper Award
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» In-Vivo Stack Overflow Detection and Stack Size Estimation for Low-End Multithreaded Operating Systems using Virtual Prototypes
|
|
|
|
Autor:
|
|
Sören Tempel, Vladimir Herdt, Rolf Drechsler |
| Konferenz: |
|
Forum on Specification & Design Languages (FDL) |
Referenz:
|
| Antibes, France, 2021
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» Work-in-Progress: Early Power Estimation of CUDA-based CNNs on GPGPUs
|
|
|
|
Autor:
|
|
Christopher Metz, Mehran Goli, Rolf Drechsler |
| Konferenz: |
|
International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS) |
Referenz:
|
| VIRTUAL CONFERENCE, 2021
| Hyperlink:
|
| [Link zur Konferenz]
|
» Minimally Invasive HW/SW Co-debug Live Visualization on Architecture Level
|
|
|
|
Autor:
|
|
Pascal Pieper, Ralf Wimmer, Gerhard Angst, Rolf Drechsler |
| Konferenz: |
|
31st ACM Great Lakes Symposium on VLSI (GLSVLSI) |
Referenz:
|
| Virtual Conference, 2021
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» Finding Optimal Implementations of Non-native CNOT Gates using SAT
|
|
|
|
Autor:
|
|
Philipp Niemann, Luca Müller, Rolf Drechsler |
| Konferenz: |
|
Reversible Computation (RC) |
Referenz:
|
| Nagoya, Japan, 2021
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» Combining SWAPs and Remote CNOT Gates for Quantum Circuit Transformation
|
|
|
|
Autor:
|
|
Philipp Niemann, Luca Müller, Rolf Drechsler |
| Konferenz: |
|
Euromicro Conference on Digital System Design (DSD) |
Referenz:
|
| Palermo, Sicily, Italy, 2021
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» Automated Debugging-Aware Visualization Technique for SystemC HLS Designs
|
|
|
|
Autor:
|
|
Mehran Goli, Alireza Mahzoon, Rolf Drechsler |
| Konferenz: |
|
Euromicro Conference on Digital System Design (DSD) |
Referenz:
|
| Palermo, Sicily, Italy, 2021
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» ALF – A Fitness-Based Artificial Life Form for Evolving Large-Scale Neural Networks
|
|
|
|
Autor:
|
|
Rune Krauss, Marcel Merten, Mirco Bockholt, Rolf Drechsler |
| Konferenz: |
|
The Genetic and Evolutionary Computation Conference (GECCO) |
Referenz:
|
| Lille, France, 2021
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» Optimization-based Test Scheduling for IEEE 1687 Multi-Power Domain Networks Using Boolean Satisfiability
|
|
|
|
Autor:
|
|
Payam Habiby, Sebastian Huhn, Rolf Drechsler
|
| Konferenz: |
|
28th IEEE International Conference on Design & Technology of Integrated Systems in Nanoscale Era (DTIS) |
Referenz:
|
| Apulia, Italy, 2021
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» Synthesis of Asymptotically Optimal Adders for Multiple-Valued Logic
|
|
|
|
Autor:
|
|
Philipp Niemann, Rolf Drechsler |
| Konferenz: |
|
51st International Symposium on Multiple-Valued Logic (ISMVL) |
Referenz:
|
| Nursultan, Kazakhstan, 2021
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» Depth Optimized Synthesis of Symmetric Boolean Functions
|
|
|
|
Autor:
|
|
Martha Schnieber, Saman Fröhlich, Rolf Drechsler |
| Konferenz: |
|
IEEE Computer Society Annual Symposium on VLSI (ISVLSI) |
Referenz:
|
| Tampa, Florida, USA, 2021
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» Domain-driven correlation-aware recombination and mutation operators for complex real-world applications
|
|
|
|
Autor:
|
|
Christina Plump, Bernhard J. Berger, Rolf Drechsler |
| Konferenz: |
|
IEEE Congress on Evolutionary Computation (CEC) |
Referenz:
|
| Kraków, Poland, 2021
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» Improving evolutionary algorithms by enhancing an approximative fitness function through prediction intervals
|
|
|
|
Autor:
|
|
Christina Plump, Bernhard J. Berger, Rolf Drechsler |
| Konferenz: |
|
IEEE Congress on Evolutionary Computation (CEC) |
Referenz:
|
| Krakow, Poland, 2021
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» PolyAdd: Polynomial Formal Verification of Adder Circuits
|
|
|
|
Autor:
|
|
Rolf Drechsler |
| Konferenz: |
|
24th IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS) |
Referenz:
|
| Vienna, Austria, 2021
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» Towards Reliable Spatial Memory Safety for Embedded Software by Combining Checked C with Concolic Testing
|
|
|
|
Autor:
|
|
Sören Tempel, Vladimir Herdt, Rolf Drechsler |
| Konferenz: |
|
Design Automation Conference (DAC) |
Referenz:
|
| San Francisco, USA, 2021
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» Late Breaking Results: Polynomial Formal Verification of Fast Adders
|
|
|
|
Autor:
|
|
Alireza Mahzoon, Rolf Drechsler |
| Konferenz: |
|
Design Automation Conference (DAC) |
Referenz:
|
| San Francisco, USA, 2021
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» XbNN: Enabling CNNs on Edge Devices by Approximate On-Chip Dot Product Encoding
|
|
|
|
Autor:
|
|
Lucas Klemmer,
Saman Fröhlich,
Rolf Drechsler,
Daniel Große |
| Konferenz: |
|
IEEE International Symposium on Circuits & Systems (ISCAS) |
Referenz:
|
| Daegu, Korea, 2021
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» Performance Aspects of Correctness-oriented Synthesis Flows
|
|
|
|
Autor:
|
|
Fritjof Bornebusch, Christoph Lüth, Robert Wille, Rolf Drechsler |
| Konferenz: |
|
Int’l Conf. on Model-Driven Engineering and Software Development (MODELSWARD) |
Referenz:
|
| 2021
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» Vertical IP Protection of the Next-Generation Devices: Quo Vadis?
|
|
|
|
Autor:
|
|
Shubham Rai, Siddharth Garg, Christian Pilato, Vladimir Herdt, Elmira Moussavi, Dominik Sisejkovic, Ramesh Karri, Rolf Drechsler, Farhad Merchant, Akash Kumar |
| Konferenz: |
|
Design, Automation and Test in Europe Conference (DATE) |
Referenz:
|
| Grenoble, France, 2021
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» Nano Security: From Nano-Electronics to Secure Systems
|
|
|
|
Autor:
|
|
Ilia Polian, Frank Altmann, Tolga Arul, Christian Boit, Ralf Brederlow, Lucas Davi, Rolf Drechsler, Nan Du, Thomas Eisenbarth, Tim Güneysu, Sascha Hermann, Matthias Hiller, Rainer Leupers, Farhad Merchant, Thomas Mussenbrock, Stefan Katzenbeisser, Akash Kumar, Wolfgang Kunz,
Thomas Mikolajick, Vivek Pachauri, Jean-Pierre Seifert, Frank Sill Torres, Jens Trommer |
| Konferenz: |
|
Design, Automation and Test in Europe Conference (DATE) |
Referenz:
|
| Grenoble, France, 2021
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» Combining SWAPs and Remote Toffoli Gates
in the Mapping to IBM QX Architectures
|
|
|
|
Autor:
|
|
Philipp Niemann, Chandan Bandyopadhyay, Rolf Drechsler |
| Konferenz: |
|
Design, Automation and Test in Europe Conference (DATE) |
Referenz:
|
| Grenoble, France, 2021
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» Verifying Dividers Using Symbolic Computer Algebra and Don't Care Optimization
|
|
|
|
Autor:
|
|
Christoph Scholl, Alexander Konrad, Alireza Mahzoon, Daniel Große, Rolf Drechsler |
| Konferenz: |
|
Design, Automation and Test in Europe Conference (DATE) |
Referenz:
|
| Grenoble, France, 2021
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» An Effective Methodology for Integrating Concolic Testing with SystemC-based Virtual Prototypes
|
|
|
|
Autor:
|
|
Sören Tempel, Vladimir Herdt, Rolf Drechsler |
| Konferenz: |
|
Design, Automation and Test in Europe Conference (DATE) |
Referenz:
|
| Grenoble, France, 2021
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» System Level verification of Phase-Locked Loop using Metamorphic Relations
|
|
|
|
Autor:
|
|
Muhammad Hassan, Daniel Große, Rolf Drechsler |
| Konferenz: |
|
Design, Automation and Test in Europe Conference (DATE) |
Referenz:
|
| Grenoble, France, 2021
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» ATLaS: Automatic Detection of Timing-based Information Leakage Flows for SystemC HLS Designs
|
|
|
|
Autor:
|
|
Mehran Goli, Rolf Drechsler |
| Konferenz: |
|
26th Asia and South Pacific Design Automation Conference (ASP-DAC) |
Referenz:
|
| Tokyo, Japan, 2021
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» One-pass Synthesis for Field-coupled Nanocomputing Technologies
|
|
|
|
Autor:
|
|
Marcel Walter, Winston Haaswijk, Robert Wille, Frank Sill Torres, Rolf Drechsler |
| Konferenz: |
|
Asia and South Pacific Design Automation Conference (ASP-DAC) |
Referenz:
|
| Tokyo, Japan, 2021
Best Paper Candidate
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» System-Level Verification of Linear and Non-Linear Behaviors of RF Amplifiers using Metamorphic Relations
|
|
|
|
Autor:
|
|
Muhammad Hassan, Daniel Große, Rolf Drechsler |
| Konferenz: |
|
Asia and South Pacific Design Automation Conference (ASP-DAC) |
Referenz:
|
| Tokyo, Japan, 2021
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» Mutation-based Compliance Testing for RISC-V
|
|
|
|
Autor:
|
|
Vladimir Herdt, Sören Tempel, Daniel Große, Rolf Drechsler |
| Konferenz: |
|
Asia and South Pacific Design Automation Conference (ASP-DAC) |
Referenz:
|
| Tokyo, Japan, 2021
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» Clustering-Guided SMT(LRA) Learning
|
|
|
|
Autor:
|
|
Tim Meywerk, Marcel Walter, Daniel Große, Rolf Drechsler |
| Konferenz: |
|
International Conference on integrated Formal Methods (iFM) |
Referenz:
|
| Lugano, Switzerland, 2020
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» Adaptive Simulation with Virtual Prototypes for RISC-V: Switching Between Fast and Accurate at Runtime
|
|
|
|
Autor:
|
|
Vladimir Herdt, Daniel Große, Sören Tempel, Rolf Drechsler |
| Konferenz: |
|
38th IEEE International Conference on Computer Design (ICCD) |
Referenz:
|
| Hartford, USA, 2020
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» ASCHyRO: Automatic Fault Localization of SystemC HLS Designs Using a Hybrid Accurate Rank Ordering Technique
|
|
|
|
Autor:
|
|
Mehran Goli, Alireza Mahzoon, Rolf Drechsler |
| Konferenz: |
|
38th IEEE International Conference on Computer Design (ICCD) |
Referenz:
|
| Hartford, USA, 2020
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» Verifying Safety Properties of Robotic Plans operating in Real-World Environments via Logic-based Environment Modeling
|
|
|
|
Autor:
|
|
Tim Meywerk, Marcel Walter, Vladimir Herdt, Jan Kleinekathöfer, Daniel Große, Rolf Drechsler |
| Konferenz: |
|
9th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA) |
Referenz:
|
| Rhodes, Greece, 2020
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» Power-aware Test Scheduling for IEEE 1687 Networks with Multiple Power Domains
|
|
|
|
Autor:
|
|
Payam Habiby, Sebastian Huhn, Rolf Drechsler |
| Konferenz: |
|
33rd IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems (DFT) |
Referenz:
|
| Frascati (Rome), Italy, 2020
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» Efficient Cross-Level Testing for Processor Verification: A RISC-V Case-Study
|
|
|
|
Autor:
|
|
Vladimir Herdt, Daniel Große, Eyck Jentzsch, Rolf Drechsler |
| Konferenz: |
|
Forum on Specification & Design Languages (FDL) |
Referenz:
|
| Kiel, Germany, 2020
Best Paper Award
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» RVX - A Tool for Concolic Testing of Embedded Binaries Targeting RISC-V Platforms
|
|
|
|
Autor:
|
|
Vladimir Herdt, Daniel Große, Rolf Drechsler |
| Konferenz: |
|
Automated Technology for Verification and Analysis (ATVA) |
Referenz:
|
| Hanoi, Vietnam, 2020
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» ToPoliNano and fiction: Design Tools for Field-coupled Nanocomputing
|
|
|
|
Autor:
|
|
Umberto Garlando, Marcel Walter, Robert Wille, Fabrizio Riente, Frank Sill Torres, Rolf Drechsler |
| Konferenz: |
|
Euromicro Conference on Digital System Design (DSD) |
Referenz:
|
| Portorož, Slowenien, 2020
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» Design Space Exploration in the Mapping of Reversible Circuits to IBM Quantum Computers
|
|
|
|
Autor:
|
|
Philipp Niemann, Alexandre A. A. de Almeida, Gerhard Dueck, Rolf Drechsler |
| Konferenz: |
|
Euromicro Conference on Digital System Design (DSD) |
Referenz:
|
| Portorož, Slowenien, 2020
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» Combining Machine Learning and Formal Techniques for Small Data Applications - A Framework to Explore New Structural Materials
|
|
|
|
Autor:
|
|
Rolf Drechsler, Sebastian Huhn, Christina Plump |
| Konferenz: |
|
Euromicro Conference on Digital System Design (DSD) |
Referenz:
|
| Portorož, Slowenien, 2020
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» Post Synthesis-Optimization of Reversible Circuit using Template Matching
|
|
|
|
Autor:
|
|
Chandan Bandyopadhyay, Robert Wille, Rolf Drechsler, Hafizur Rahaman |
| Konferenz: |
|
In 2020 24th International Symposium on VLSI Design and Test (VDAT) |
Referenz:
|
| pp. 1-4. IEEE, 2020, DOI: 10.1109/VDAT50263.2020.9190279
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» Design Automation for Field-coupled Nanotechnologies
|
|
|
|
Autor:
|
|
Marcel Walter, Rolf Drechsler |
| Konferenz: |
|
IEEE Computer Society Annual Symposium on VLSI (ISVLSI) |
Referenz:
|
| Limassol, Cyprus, 2020
Best Student Forum Paper Award
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» Efficient Techniques to Strongly Enhance the Virtual Prototype based Design Flow
|
|
|
|
Autor:
|
|
Vladimir Herdt, Rolf Drechsler |
| Konferenz: |
|
IEEE Computer Society Annual Symposium on VLSI (ISVLSI) |
Referenz:
|
| Limassol, Cyprus, 2020
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» Automated Design Understanding of SystemC-based Virtual Prototypes: Data Extraction, Analysis and Visualization
|
|
|
|
Autor:
|
|
Mehran Goli, Rolf Drechsler |
| Konferenz: |
|
IEEE Computer Society Annual Symposium on VLSI (ISVLSI) |
Referenz:
|
| Limassol, Cyprus, 2020
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» Bail on Balancing: An Alternative Approach to the Physical Design of Field-coupled Nanocomputing Circuits
|
|
|
|
Autor:
|
|
Marcel Walter, Robert Wille, Frank Sill Torres, Rolf Drechsler |
| Konferenz: |
|
IEEE Computer Society Annual Symposium on VLSI (ISVLSI) |
Referenz:
|
| Limassol, Cyprus, 2020
Best Paper Candidate
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» Towards Generation of a Programmable Power Management Unit at the Electronic System Level
|
|
|
|
Autor:
|
|
David Lemma, Mehran Goli, Daniel Große, Rolf Drechsler |
| Konferenz: |
|
23rd IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS) |
Referenz:
|
| Novi Sad, Serbia, 2020
| Hyperlink:
|
| [Link zur Konferenz]
|
» Impacts of Block-based Programming on Young Learners' Programming Skills and Attitudes in the Context of Smart Environments
|
|
|
|
Autor:
|
|
Mazyar Seraj, Rolf Drechsler |
| Konferenz: |
|
The 25th ACM annual conference on Innovation and Technology in Computer Science Education (ITiCSE) |
Referenz:
|
| Trondheim, Norway, 2020
| Hyperlink:
|
| [Link zur Konferenz]
|
» Efficient Machine Learning through Evolving Combined
Deep Neural Networks
|
|
|
|
Autor:
|
|
Rune Krauss, Marcel Merten, Mirco Bockholt, Saman Fröhlich, Rolf Drechsler |
| Konferenz: |
|
Genetic and Evolutionary Computation Conference (GECCO) |
Referenz:
|
| Electronic-only, 2020
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» Early Verification of ISA Extension Specifications Using Deep Reinforcement Learning
|
|
|
|
Autor:
|
|
Niklas Bruns, Daniel Große, Rolf Drechsler |
| Konferenz: |
|
30th ACM Great Lakes Symposium on VLSI (GLSVLSI) |
Referenz:
|
| Beijing, China, 2020
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» Verification of Embedded Binaries using Coverage-guided Fuzzing with SystemC-based Virtual Prototypes
|
|
|
|
Autor:
|
|
Vladimir Herdt, Daniel Große, Jonas Wloka, Tim Güneysu, Rolf Drechsler |
| Konferenz: |
|
30th ACM Great Lakes Symposium on VLSI (GLSVLSI) |
Referenz:
|
| Beijing, China, 2020
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» Closing the RISC-V Compliance Gap: Looking from the Negative Testing Side
|
|
|
|
Autor:
|
|
Vladimir Herdt, Daniel Große, Rolf Drechsler |
| Konferenz: |
|
Design Automation Conference (DAC) |
Referenz:
|
| San Francisco, USA, 2020
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» Dynamic Information Flow Tracking for Embedded Binaries using SystemC-based Virtual Prototypes
|
|
|
|
Autor:
|
|
Pascal Pieper, Vladimir Herdt, Daniel Große, Rolf Drechsler |
| Konferenz: |
|
Design Automation Conference (DAC) |
Referenz:
|
| San Francisco, USA, 2020
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» Verification for Field-coupled Nanocomputing Circuits
|
|
|
|
Autor:
|
|
Marcel Walter,
Robert Wille,
Frank Sill Torres,
Daniel Große,
Rolf Drechsler |
| Konferenz: |
|
Design Automation Conference (DAC) |
Referenz:
|
| San Francisco, USA, 2020
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» Efficient Implementation of Nearest Neighbor Quantum Circuits Using Clustering with Genetic Algorithm
|
|
|
|
Autor:
|
|
Anirban Bhattacharjee, Chandan Bandyopadhyay, Angshu Mukherjee, Robert Wille, Rolf Drechsler, Hafizur Rahaman |
| Konferenz: |
|
50th International Symposium on Multiple-Valued Logic (ISMVL) |
Referenz:
|
| Miyazaki, Japan, 2020
| Hyperlink:
|
| [Link zur Konferenz]
|
» ASNet: Introducing Approximate Hardware to High-Level Synthesis of Neural Networks
|
|
|
|
Autor:
|
|
Saman Fröhlich,
Lucas Klemmer,
Daniel Große,
Rolf Drechsler |
| Konferenz: |
|
50th International Symposium on Multiple-Valued Logic (ISMVL) |
Referenz:
|
| Miyazaki, Japan, 2020
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» Multiply-Accumulate Enhanced BDD-Based Logic Synthesis on RRAM Crossbars
|
|
|
|
Autor:
|
|
Saman Fröhlich,
Saeideh Shirinzadeh,
Rolf Drechsler |
| Konferenz: |
|
IEEE International Symposium on Circuits & Systems (ISCAS) |
Referenz:
|
| Sevilla, Spain, 2020
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» Impacts of Creating Smart Everyday Objects on Young Female Students' Programming Skills and Attitudes
|
|
|
|
Autor:
|
|
Mazyar Seraj, Eva-Sophie Katterfeldt, Serge Autexier, Rolf Drechsler |
| Konferenz: |
|
The 51st ACM Technical Symposium on Computer Science Education (SIGCSE) |
Referenz:
|
| Portland, Oregon, USA, 2020
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» Towards Specification and Testing of RISC-V ISA Compliance
|
|
|
|
Autor:
|
|
Vladimir Herdt, Daniel Große, Rolf Drechsler |
| Konferenz: |
|
Design, Automation and Test in Europe (DATE) |
Referenz:
|
| Grenoble, France, 2020
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» Fast and Accurate Performance Evaluation for RISC-V using Virtual Prototypes
|
|
|
|
Autor:
|
|
Vladimir Herdt, Daniel Große, Rolf Drechsler |
| Konferenz: |
|
Design, Automation and Test in Europe (DATE) |
Referenz:
|
| Grenoble, France, 2020
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» Towards Formal Verification of Optimized and Industrial Multipliers
|
|
|
|
Autor:
|
|
Alireza Mahzoon, Daniel Große, Christoph Scholl, Rolf Drechsler |
| Konferenz: |
|
Design, Automation and Test in Europe (DATE) |
Referenz:
|
| Grenoble, France, 2020
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» Integer Overflow Detection in Hardware Designs at the Specification Level
|
|
|
|
Autor:
|
|
Fritjof Bornebusch,
Christoph Lüth,
Robert Wille,
Rolf Drechsler |
| Konferenz: |
|
8th International Conference on Model-Driven Engineering and Software Development (MODELSWARD) |
Referenz:
|
| Valetta, Malta, 2020
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» Towards Automatic Hardware Synthesis from Formal Specification to Implementation
|
|
|
|
Autor:
|
|
Fritjof Bornebusch, Christoph Lüth, Robert Wille, Rolf Drechsler |
| Konferenz: |
|
Asia and South Pacific Design Automation Conference (ASP-DAC) |
Referenz:
|
| Beijing, China, 2020
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» Ensuring Correctness of Next Generation Devices: From Reconfigurable to Self-Learning Systems
|
|
|
|
Autor:
|
|
Rolf Drechsler, Daniel Große |
| Konferenz: |
|
Asian Test Symposium (ATS) |
Referenz:
|
| Kolkata, India, 2019
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» Scratch and Google Blockly: How Girls’ Programming Skills and Attitudes are Influenced
|
|
|
|
Autor:
|
|
Mazyar Seraj, Eva-Sophie Katterfeldt, Kerstin Bub, Serge Autexier, Rolf Drechsler |
| Konferenz: |
|
The 19th Koli Calling International Conference on Computing Education Research (Koli Calling) |
Referenz:
|
| Koli, Finland, 2019
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» A Hybrid Embedded Multichannel Test Compression Architecture for Low-Pin Count Test Environments in Safety-Critical Systems
|
|
|
|
Autor:
|
|
Sebastian Huhn, Daniel Tille, Rolf Drechsler |
| Konferenz: |
|
International Test Conference in Asia (ITC-Asia) |
Referenz:
|
| Tokyo, Japan, 2019
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» Functional Coverage-Driven Characterization of RF Amplifiers
|
|
|
|
Autor:
|
|
Muhammad Hassan, Daniel Große, Thilo Vörtler, Karsten Einwich and Rolf Drechsler |
| Konferenz: |
|
Forum on specification & Design Languages (FDL) |
Referenz:
|
| Southampton, United Kingdom, 2019
Best Paper Candidate
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» Systematic RISC-V based Firmware Design
|
|
|
|
Autor:
|
|
Vladimir Herdt, Daniel Große, Rolf Drechsler, Christoph Gerum, Alexander Jung, Joscha-Joel Benz, Oliver Bringmann, Michael Schwarz, Dominik Stoffel, Wolfgang Kunz
|
| Konferenz: |
|
Forum on specification & Design Languages (FDL) |
Referenz:
|
| Southampton, United Kingdom, 2019
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» SAT-Hard: A Learning-based Hardware SAT-Solver
|
|
|
|
Autor:
|
|
Buse Ustaoglu, Sebastian Huhn, Frank Sill Torres, Daniel Große and Rolf Drechsler |
| Konferenz: |
|
EUROMICRO Digital System Design Conference (DSD) |
Referenz:
|
| Kallithea - Chalkidiki, Greece, 2019
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» Towards Formal Verification of Plans for Cognition-enabled Autonomous Robotic Agents
|
|
|
|
Autor:
|
|
Tim Meywerk, Marcel Walter, Vladimir Herdt, Daniel Große, Rolf Drechsler |
| Konferenz: |
|
EUROMICRO Digital System Design Conference (DSD) |
Referenz:
|
| Kallithea - Chalkidiki, Greece, 2019
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» Scalable Simulation-based Verification of
SystemC-based Virtual Prototypes
|
|
|
|
Autor:
|
|
Mehran Goli,
Rolf Drechsler |
| Konferenz: |
|
EUROMICRO Digital System Design Conference (DSD) |
Referenz:
|
| Kallithea - Chalkidiki, Greece, 2019
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» Code is Ethics —Formal Techniques for a Better World
|
|
|
|
Autor:
|
|
Rolf Drechsler, Christoph Lüth |
| Konferenz: |
|
EUROMICRO Digital System Design Conference (DSD) |
Referenz:
|
| Kallithea - Chalkidiki, Greece, 2019
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» Property-driven Timestamps Encoding for Timeprints-based Tracing and Monitoring
|
|
|
|
Autor:
|
|
Rehab Massoud, Hoang M. Le, Rolf Drechsler |
| Konferenz: |
|
17th International Conference on Formal Modeling and Analysis of Timed Systems, (FORMATS) |
Referenz:
|
| Amsterdam, Netherlands, 27-29 August, 2019
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» Temporal Tracing of On-Chip Signals using Timeprints
|
|
|
|
Autor:
|
|
Rehab Massoud, Hoang M. Le, Peter Chini, Prakash Saivasan, Roland Meyer and Rolf Drechsler |
| Konferenz: |
|
Design Automation Conference (DAC) |
Referenz:
|
| Las Vegas, USA, 2019
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» RevSCA: Using Reverse Engineering to Bring Light into Backward Rewriting for Big and Dirty Multipliers
|
|
|
|
Autor:
|
|
Alireza Mahzoon, Daniel Große, Rolf Drechsler |
| Konferenz: |
|
Design Automation Conference (DAC) |
Referenz:
|
| Las Vegas, USA, 2019
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» Early Concolic Testing of Embedded Binaries with Virtual Prototypes: A RISC-V Case Study
|
|
|
|
Autor:
|
|
Vladimir Herdt, Daniel Große, Hoang M. Le, Rolf Drechsler |
| Konferenz: |
|
Design Automation Conference (DAC) |
Referenz:
|
| Las Vegas, USA, 2019
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» ComPRIMe: A Compiler for Parallel and Scalable ReRAM-based In-Memory Computing
|
|
|
|
Autor:
|
|
Steffen Frerix,
Saeideh Shirinzadeh,
Saman Fröhlich,
Rolf Drechsler |
| Konferenz: |
|
International Symposium on Nanoscale Architectures (NanoArch 2019) |
Referenz:
|
| Qingdao, China, 2019
| PDF:
|
| [hier ansehen]
|
» Logic Synthesis for Hybrid CMOS-ReRAM Sequential Circuits
|
|
|
|
Autor:
|
|
Saman Fröhlich, Saeideh Shirinzadeh, Rolf Drechsler |
| Konferenz: |
|
IEEE Computer Society Annual Symposium on VLSI (ISVLSI) |
Referenz:
|
| Miami, Florida, USA, 2019
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» Ignore Clocking Constraints: An Alternative Physical Design Methodology for Field-coupled Nanotechnologies
|
|
|
|
Autor:
|
|
Robert Wille, Marcel Walter, Frank Sill Torres, Daniel Große, Rolf Drechsler |
| Konferenz: |
|
IEEE Computer Society Annual Symposium on VLSI (ISVLSI) |
Referenz:
|
| Miami, Florida, USA, 2019
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» Improved Look-ahead Approaches for Nearest Neighbor Synthesis of 1D Quantum Circuits
|
|
|
|
Autor:
|
|
Anirban Bhattacharjee, Chandan Bandyopadhyay, Robert Wille, Rolf Drechsler and Hafizur Rahaman |
| Konferenz: |
|
International Conference on VLSI Design (VLSI Design) |
Referenz:
|
| Florida, USA, 2019
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» Smart Homes Programming: Development and Evaluation of an Educational Programming Application for Young Learners
|
|
|
|
Autor:
|
|
Mazyar Seraj, Cornelia Große, Serge Autexier, Rolf Drechsler |
| Konferenz: |
|
The 18th ACM International Conference on Interaction Design and Children (IDC) |
Referenz:
|
| Boise, Idaho, USA, 2019
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» Automated Analysis of Virtual Prototypes at Electronic System Level
|
|
|
|
Autor:
|
|
Mehran Goli, Muhammad Hassan, Daniel Große, Rolf Drechsler |
| Konferenz: |
|
29th ACM Great Lakes Symposium on VLSI (GLSVLSI) |
Referenz:
|
| Washington, D.C., USA, 2019
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» Hybrid Architecture for Embedded Test Compression to Process Rejected Test Patterns
|
|
|
|
Autor:
|
|
Sebastian Huhn, Daniel Tille, Rolf Drechsler |
| Konferenz: |
|
IEEE European Test Symposium (ETS) |
Referenz:
|
| Baden Baden, Germany, 2019
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» Machine Learning-based Prediction of Test Power
|
|
|
|
Autor:
|
|
Harshad Dhotre, Stephan Eggersglüß, Krishnendu Chakrabarty, Rolf Drechsler |
| Konferenz: |
|
IEEE European Test Symposium (ETS) |
Referenz:
|
| Baden Baden, Germany, 2019
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» HotAging - Impact of Power Dissipation on Hardware Degradation
|
|
|
|
Autor:
|
|
Frank Sill Torres, Alberto Garcia Ortiz and Rolf Drechsler |
| Konferenz: |
|
IEEE International Symposium on Circuits and Systems (ISCAS) |
Referenz:
|
| Sapporo, Japan, 2019.
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» Look What I Can Do: Acquisition of Programming Skills in the Context of Living Labs
|
|
|
|
Autor:
|
|
Mazyar Seraj, Cornelia Große, Serge Autexier, Rolf Drechsler |
| Konferenz: |
|
The IEEE/ACM 41st International Conference on Software Engineering: Software Engineering Education and Training (ICSE-SEET) |
Referenz:
|
| Montréal, QC, Canada, 2019
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» T-Depth Optimization for Fault-Tolerant Quantum Circuits
|
|
|
|
Autor:
|
|
Philipp Niemann, Anshu Gupta, Rolf Drechsler |
| Konferenz: |
|
49th IEEE International Symposium on Multiple-Valued Logic (ISMVL) |
Referenz:
|
| Fredericton, NB, Canada, 2019
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» One Additional Qubit is Enough: Encoded Embeddings for Boolean Components in Quantum Circuits
|
|
|
|
Autor:
|
|
Alwin Zulehner, Philipp Niemann, Rolf Drechsler, Robert Wille |
| Konferenz: |
|
49th IEEE International Symposium on Multiple-Valued Logic (ISMVL) |
Referenz:
|
| Fredericton, NB, Canada, 2019
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» (ReCo)Fuse Your PRC or Lose Security: Finally Reliable Reconfiguration-based Countermeasures on FPGAs
|
|
|
|
Autor:
|
|
Kenneth Schmitz, Buse Ustaoglu, Daniel Große, Rolf Drechsler |
| Konferenz: |
|
International Symposium on Applied Reconfigurable Computing (ARC) |
Referenz:
|
| Darmstadt, Germany, 2019
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» Impact of NBTI on Increasing the Susceptibility of FinFET to Radiation
|
|
|
|
Autor:
|
|
Frank Sill Torres, Hussam Amrouch, Jörg Henkel and Rolf Drechsler |
| Konferenz: |
|
IEEE International Reliability Physics Symposium (IRPS 2019) |
Referenz:
|
| Monterey, California, USA, March 31 - April 4, 2019
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» Accuracy and Compactness in Decision Diagrams for Quantum Computation
|
|
|
|
Autor:
|
|
Alwin Zulehner, Philipp Niemann, Rolf Drechsler, Robert Wille |
| Konferenz: |
|
Design, Automation and Test in Europe (DATE) |
Referenz:
|
| Florence, Italy, 2019
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» One Method - All Error-Metrics: A Three-Stage Approach for Error-Metric Evaluation in Approximate Computing
|
|
|
|
Autor:
|
|
Saman Fröhlich, Daniel Große, Rolf Drechsler |
| Konferenz: |
|
Design, Automation and Test in Europe (DATE) |
Referenz:
|
| Florence, Italy, 2019
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» Verifying Instruction Set Simulators using Coverage-guided Fuzzing
|
|
|
|
Autor:
|
|
Vladimir Herdt, Daniel Große, Hoang M. Le, Rolf Drechsler |
| Konferenz: |
|
Design, Automation and Test in Europe (DATE) |
Referenz:
|
| Florence, Italy, 2019
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» Data Flow Testing for SystemC-AMS Timed Data Flow Models
|
|
|
|
Autor:
|
|
Muhammad Hassan, Daniel Große, Hoang M. Le, Rolf Drechsler |
| Konferenz: |
|
Design, Automation and Test in Europe (DATE) |
Referenz:
|
| Florence, Italy, 2019
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» Detection of Hardware Trojans in SystemC HLS Designs via Coverage-guided Fuzzing
|
|
|
|
Autor:
|
|
Hoang M. Le, Daniel Große, Niklas Bruns, Rolf Drechsler |
| Konferenz: |
|
Design, Automation and Test in Europe (DATE) |
Referenz:
|
| Florence, Italy, 2019
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» Better Late Than Never: Verification of Embedded Systems After Deployment
|
|
|
|
Autor:
|
|
Martin Ring, Fritjof Bornebusch, Christoph Lüth, Robert Wille, Rolf Drechsler |
| Konferenz: |
|
Design, Automation and Test in Europe (DATE) |
Referenz:
|
| Florence, Italy, 2019
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» Cluster-based Localization of IR-drop in Test Application considering Parasitic Elements
|
|
|
|
Autor:
|
|
Harshad Dhotre, Stephan Eggersglüß, Rolf Drechsler |
| Konferenz: |
|
20th IEEE Latin American Test Symposium (LATS) |
Referenz:
|
| Santiago, Chile, 2019
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» Scalable Design for Field-coupled Nanocomputing Circuits
|
|
|
|
Autor:
|
|
Marcel Walter, Robert Wille, Frank Sill Torres, Daniel Große, Rolf Drechsler |
| Konferenz: |
|
Asia and South Pacific Design Automation Conference (ASP-DAC) |
Referenz:
|
| Tokyo, Japan, 2019
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» Maximizing Power State Cross Coverage in Firmware-based Power Management
|
|
|
|
Autor:
|
|
Vladimir Herdt, Hoang M. Le, Daniel Große, Rolf Drechsler |
| Konferenz: |
|
24th Asia and South Pacific Design Automation Conference (ASP-DAC) |
Referenz:
|
| Tokyo, Japan, 2019
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» PolyCleaner: Clean your Polynomials before Backward Rewriting to Verify Million-gate Multipliers
|
|
|
|
Autor:
|
|
Alireza Mahzoon, Daniel Große, Rolf Drechsler |
| Konferenz: |
|
International Conference on Computer Aided Design (ICCAD) |
Referenz:
|
| San Diego, USA, 2018
Best Paper Award
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» IC/IP Piracy Assessment of Reversible Logic
|
|
|
|
Autor:
|
|
Samah Mohamed Saeed, Xiaotong Cui, Alwin Zulehner,, Robert Wille, Rolf Drechsler, Kaijie Wu, Ramesh Karri |
| Konferenz: |
|
International Conference on Computer-Aided Design (ICCAD) |
Referenz:
|
| San Diego, 2018
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» Power Intent from Initial ESL Prototypes: Extracting Power Management
Parameters
|
|
|
|
Autor:
|
|
David Lemma, Mehran Goli, Daniel Große, Rolf Drechsler |
| Konferenz: |
|
IEEE Nordic Circuits and Systems Conference (NORCAS) |
Referenz:
|
| Tallinn, Estonia, 2018
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» Resilience Evaluation for Approximating SystemC Designs Using Machine Learning Techniques
|
|
|
|
Autor:
|
|
Mehran Goli, Jannis Stoppe, Rolf Drechsler |
| Konferenz: |
|
IEEE International Symposium on Rapid System Prototyping (RSP), 2018 |
Referenz:
|
| Torino, Italy, 2018
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» Multi-Objective Synthesis of Quantum Circuits Using Genetic Programming
|
|
|
|
Autor:
|
|
Moein Sarvaghad-Moghaddam, Philipp Niemann, Rolf Drechsler
|
| Konferenz: |
|
Reversible Computation |
Referenz:
|
| pp. 220-227, Leicester, UK, 2018
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» Extensible and Configurable RISC-V based Virtual Prototype
|
|
|
|
Autor:
|
|
Vladimir Herdt, Daniel Große, Hoang M. Le, Rolf Drechsler |
| Konferenz: |
|
Forum on specification & Design Languages (FDL) |
Referenz:
|
| Munich, Germany, 2018
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» Automatic Design of Microfluidic Devices: An Overview of Platforms and Corresponding Design Tasks
|
|
|
|
Autor:
|
|
Robert Wille, Bing Li, Rolf Drechsler and Ulf Schlichtmann |
| Konferenz: |
|
In Forum on specification & Design Languages (FDL), München, 2018 |
Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» Exploration of the Synchronization Constraint in Quantum-dot Cellular Automata
|
|
|
|
Autor:
|
|
Frank Sill Torres, Pedro A. Silva, Geraldo Fontes, José Augusto M. Nacif, Ricardo Santos Ferreira,
Omar Paranaiba Vilela Neto, Jeferson F. Chaves, Rolf Drechsler |
| Konferenz: |
|
Euromicro Conference on Digital System Design (DSD) |
Referenz:
|
| Prague, Czech Republic, 2018
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» Towards Self-explaining Intelligent Environments
|
|
|
|
Autor:
|
|
Serge Autexier, Rolf Drechsler |
| Konferenz: |
|
International Converence on Reliability, Infocom Technologies and Optimization (ICRITO) |
Referenz:
|
| Noida, India, 2018
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» Towards Reversed Approximate Hardware Design
|
|
|
|
Autor:
|
|
Saman Fröhlich, Daniel Große, Rolf Drechsler |
| Konferenz: |
|
Euromicro Conference on Digital System Design (DSD) |
Referenz:
|
| Prague, Czech Republic, 2018
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» Evaluating the Impact of Interconnections in Quantum-Dot Cellular Automata
|
|
|
|
Autor:
|
|
Frank Sill Torres, Robert Wille, Marcel Walter, Philipp Niemann, Daniel Große, Rolf Drechsler |
| Konferenz: |
|
Euromicro Conference on Digital System Design (DSD) |
Referenz:
|
| pp. 649-656, Prague, Czech Republic, 2018
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» Synchronization of Clocked Field-Coupled Circuits
|
|
|
|
Autor:
|
|
Frank Sill Torres, Marcel Walter, Robert Wille, Daniel Große, Rolf Drechsler |
| Konferenz: |
|
IEEE International Conference on Nanotechnology (Nano) |
Referenz:
|
| Cork, Ireland, 2018
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» Logic Synthesis for In-Memory Computing using Resistive Memories
|
|
|
|
Autor:
|
|
Saeideh Shirinzadeh, Rolf Drechsler |
| Konferenz: |
|
IEEE Computer Society Annual Symposium on VLSI (ISVLSI) |
Referenz:
|
| Hong Kong SAR, China, 2018
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» A Novel Approach for Nearest Neighbor Realization of 2D Quantum Circuits
|
|
|
|
Autor:
|
|
Anirban Bhattacharjee, Chandan Bandyopadhyay, Robert Wille, Rolf Drechsler, Hafizur Rahaman |
| Konferenz: |
|
IEEE Computer Society Annual Symposium on VLSI (ISVLSI) |
Referenz:
|
| Hong Kong SAR, China, 2018
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» Combining Symbolic Computer Algebra and Boolean Satisfiability for Automatic Debugging and Fixing of Complex Multipliers
|
|
|
|
Autor:
|
|
Alireza Mahzoon, Daniel Große, Rolf Drechsler |
| Konferenz: |
|
IEEE Computer Society Annual Symposium on VLSI (ISVLSI) |
Referenz:
|
| pp. 351-356, Hong Kong SAR, China, 2018
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» Towards Dynamic Execution Environment for System Security Protection against Hardware Flaws
|
|
|
|
Autor:
|
|
Kenneth Schmitz, Oliver Keszöcze, Jurij Schmidt, Daniel Große, Rolf Drechsler |
| Konferenz: |
|
IEEE Computer Society Annual Symposium on VLSI (ISVLSI) |
Referenz:
|
| pp. 557-562, Hong Kong SAR, China, 2018
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» Reliability Improvements for Multiprocessor Systems by Health-Aware Task Scheduling
|
|
|
|
Autor:
|
|
Robert Schmidt, Rehab Massoud, Jaan Raik, Alberto Garcia-Ortiz, Rolf Drechsler |
| Konferenz: |
|
24th IEEE International Symposium on On-Line Testing and Robust System Design (IOLTS) |
Referenz:
|
| Costa Brava, Spain, 2018
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» Natural Language based Power Domain Partitioning
|
|
|
|
Autor:
|
|
David Lemma, Daniel Große, Rolf Drechsler |
| Konferenz: |
|
21st IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS) |
Referenz:
|
| pp. 101-106, Budapest, Hungary, 2018
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» Constraint-based Pattern Retargeting for Reducing Localized Power Activity during Testing
|
|
|
|
Autor:
|
|
Harshad Dhotre, Stephan Eggersglüß, Rolf Drechsler, Mehdi Dehbashi, Ulrike Pfannkuchen |
| Konferenz: |
|
21st IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS) |
Referenz:
|
| Budapest, Hungary, 2018
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» SAT-Lancer: A Hardware SAT-Solver for Self-Verification
|
|
|
|
Autor:
|
|
Buse Ustaoglu, Sebastian Huhn, Daniel Große, Rolf Drechsler |
| Konferenz: |
|
28th ACM Great Lakes Symposium on VLSI (GLVLSI) |
Referenz:
|
| pp. 479-482, Chicago, Illinois, USA, 2018
Received Best Poster Award
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» Synthesis of Reversible Circuits Using Conventional Hardware Description Languages
|
|
|
|
Autor:
|
|
Zaid Al-Wardi, Robert Wille, Rolf Drechsler |
| Konferenz: |
|
IEEE International Symposium on Multiple-Valued Logic (ISMVL) |
Referenz:
|
| Linz, Austria, 2018
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» Logic Design using Memristors: An Emerging Technology
|
|
|
|
Autor:
|
|
Saeideh Shirinzadeh, Kamalika Datta, Rolf Drechsler |
| Konferenz: |
|
IEEE International Symposium on Multiple-Valued Logic (ISMVL) |
Referenz:
|
| Linz, Austria, 2018
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» Building Fast Multi-Agent Systems using Hardware Design Languages for High-Throughput Systems
|
|
|
|
Autor:
|
|
Jannis Stoppe, Christina Plump, Sebastian Huhn, Rolf Drechsler |
| Konferenz: |
|
6th International Conference on Dynamics in Logistics (LDIC) |
Referenz:
|
| Bremen, Germany, 2018
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» Improved Synthesis of Clifford+T Quantum Functionality
|
|
|
|
Autor:
|
|
Philipp Niemann, Robert Wille, Rolf Drechsler |
| Konferenz: |
|
Design, Automation and Test in Europe (DATE) |
Referenz:
|
| pp. 597-600, Dresden, Germany, 2018
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» Resiliency Evaluation via Symbolic Fault Injection on Intermediate Code
|
|
|
|
Autor:
|
|
Hoang M. Le, Vladimir Herdt, Daniel Große, Rolf Drechsler |
| Konferenz: |
|
Design, Automation and Test in Europe (DATE) |
Referenz:
|
| pp. 845-850, Dresden, Germany, 2018
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» Towards Fully Automated TLM-to-RTL Property Refinement
|
|
|
|
Autor:
|
|
Vladimir Herdt, Hoang M. Le, Daniel Große, Rolf Drechsler |
| Konferenz: |
|
Design, Automation and Test in Europe (DATE) |
Referenz:
|
| pp. 1508-1511, Dresden, Germany, 2018
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» Testbench Qualification for SystemC-AMS Timed
Data Flow Models
|
|
|
|
Autor:
|
|
Muhammad Hassan, Daniel Große, Hoang M. Le, Thilo Vörtler, Karsten Einwich, Rolf Drechsler |
| Konferenz: |
|
Design, Automation and Test in Europe (DATE) |
Referenz:
|
| pp. 857-860, Dresden, Germany, 2018
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» Approximate Hardware Generation using Symbolic Computer Algebra employing Gröbner Basis
|
|
|
|
Autor:
|
|
Saman Fröhlich, Daniel Große, Rolf Drechsler |
| Konferenz: |
|
Design, Automation and Test in Europe (DATE) |
Referenz:
|
| pp. 889-892, Dresden, Germany, 2018
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» An Exact Method for Design Exploration of Quantum-dot Cellular Automata
|
|
|
|
Autor:
|
|
Marcel Walter, Robert Wille, Daniel Große, Frank Sill Torres, Rolf Drechsler |
| Konferenz: |
|
Design, Automation and Test in Europe (DATE) |
Referenz:
|
| pp. 503-508, Dresden, Germany, 2018
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» Analyzing Frame Conditions in UML/OCL Models:
Consistency, Equivalence, and Independence
|
|
|
|
Autor:
|
|
Philipp Niemann, Nils Przigoda, Robert Wille, Rolf Drechsler |
| Konferenz: |
|
6th International Conference on Model-Driven Engineering and Software Development (MODELSWARD) |
Referenz:
|
| pp. 139-151, Funchal, Portugal, 2018
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» Approximation-aware Testing for Approximate Circuits
|
|
|
|
Autor:
|
|
Arun Chandrasekharan, Stephan Eggersglüß, Daniel Große, Rolf Drechsler |
| Konferenz: |
|
23rd Asia and South Pacific Design Automation Conference (ASP-DAC) |
Referenz:
|
| pp. 239 - 244, Jeju, Korea, 2018
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» Exact Synthesis of Biomolecular Protocols for Multiple Sample Pathways on Digital Microfluidic Biochips
|
|
|
|
Autor:
|
|
Oliver Keszöcze, Mohamed Ibrahim, Robert Wille, Krishnendu Chakrabarty, Rolf Drechsler |
| Konferenz: |
|
International Conference on VLSI Design (VLSID) |
Referenz:
|
| Pune, Indien, 2018
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» Revealing Properties of Structural Materials by Combining Regression-based Algorithms and Nano Indentation Measurements
|
|
|
|
Autor:
|
|
Sebastian Huhn, Heike Sonnenberg, Stephan Eggersglüß, Brigitte Clausen, Rolf Drechsler |
| Konferenz: |
|
10th IEEE Symposium Series on Computational Intelligence (SSCI) |
Referenz:
|
| Hawaii, USA, 2017
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» Towards Lightweight Satisfiability Solvers for Self-Verification
|
|
|
|
Autor:
|
|
Fritjof Bornebusch, Robert Wille, Rolf Drechsler |
| Konferenz: |
|
7th International Symposium on Embedded Computing and System Design (ISED) |
Referenz:
|
| Durgapur, Indien, 2017
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» Verifying Next Generation Electronic Systems
|
|
|
|
Autor:
|
|
Rolf Drechsler, Daniel Große |
| Konferenz: |
|
International Conference on Infocom Technologies and Unmanned Systems (ICTUS) |
Referenz:
|
| pp. 6 - 10, Dubai, United Arab Emirates, 2017
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» Automatic Protocol Compliance Checking of SystemC TLM-2.0 Simulation Behavior Using Timed Automata
|
|
|
|
Autor:
|
|
Mehran Goli, Jannis Stoppe, Rolf Drechsler |
| Konferenz: |
|
35th IEEE International Conference on Computer Design (ICCD) |
Referenz:
|
| Boston Area, Massachusetts, USA, 2017
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» Identification of Efficient Clustering Techniques for Test Power Activity on the Layout
|
|
|
|
Autor:
|
|
Harshad Dhotre, Stephan Eggersglüß, Rolf Drechsler |
| Konferenz: |
|
26th IEEE Asian Test Symposium (ATS) |
Referenz:
|
| Taipei, Taiwan, 2017
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» More than true or false: Native Support of Irregular Values in the Automatic Validation & Verification of UML/OCL Models
|
|
|
|
Autor:
|
|
Nils Przigoda, Philipp Niemann, Judith Peters, Frank Hilken, Robert Wille, Rolf Drechsler |
| Konferenz: |
|
15th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE) |
Referenz:
|
| pp. 77-86, Vienna, Austria, 2017
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» Yise - A novel Framework for Boolean Networks using Y-Inverter Graphs
|
|
|
|
Autor:
|
|
Arun Chandrasekharan, Daniel Große, Rolf Drechsler |
| Konferenz: |
|
15th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE) |
Referenz:
|
| pp. 114-117, Vienna, Austria, 2017
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» Reconfigurable TAP Controllers with Embedded Compression for Large Test Data Volume
|
|
|
|
Autor:
|
|
Sebastian Huhn, Stephan Eggersglüß, Rolf Drechsler |
| Konferenz: |
|
30th IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems (DFT) |
Referenz:
|
| Cambridge, UK, 2017
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» Machine Learning Based Test Pattern Analysis for
Localizing Critical Power Activity Areas
|
|
|
|
Autor:
|
|
Harshad Dhotre, Stephan Eggersglüß, Mehdi Dehbashi, Ulrike Pfannkuchen, Rolf Drechsler |
| Konferenz: |
|
30th IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems (DFT) |
Referenz:
|
| Cambridge, UK, 2017
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» Unintrusive Aging Analysis based on Offline Learning
|
|
|
|
Autor:
|
|
Frank Sill Torres, Pedro F. R. Leite Junior and Rolf Drechsler |
| Konferenz: |
|
30th IEEE Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems (DFT) |
Referenz:
|
| Cambridge, UK, 2017
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» 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 |
| Konferenz: |
|
Forum on specification & Design Languages (FDL) |
Referenz:
|
| pp. 1-8, Verona, Italy, 2017
Best Paper Candidate
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» Semi-Formal Cycle-Accurate Temporal Execution Traces Reconstruction
|
|
|
|
Autor:
|
|
Rehab Massoud, Jannis Stoppe, Daniel Große, Rolf Drechsler |
| Konferenz: |
|
15th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS) |
Referenz:
|
| pp. 335-351, Berlin, Germany, 2017
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» Early SoC Security Validation by VP-based Static Information Flow Analysis
|
|
|
|
Autor:
|
|
Muhammad Hassan, Vladimir Herdt, Hoang M. Le, Daniel Große, Rolf Drechsler
|
| Konferenz: |
|
International Conference on Computer Aided Design (ICCAD) |
Referenz:
|
| pp. 400-407, Irvine, USA, 2017
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» Dedicated Synthesis for MZI-based Optical Circuits based on AND-Inverter Graphs
|
|
|
|
Autor:
|
|
Arighna Deb, Robert Wille, Rolf Drechsler |
| Konferenz: |
|
International Conference on Computer Aided Design (ICCAD) |
Referenz:
|
| Irvine, USA, 2017
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» Self-practicing of logic circuits through mobile devices: Lecturers' and students' perceptions
|
|
|
|
Autor:
|
|
Mazyar Seraj, Cornelia Große, Rolf Drechsler |
| Konferenz: |
|
The 9th annual International Conference on Education and New Learning Technologies (EduLearn17) |
Referenz:
|
| Barcelona, Spain, 2017
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» BioViz: An Interactive Visualization Engine for Digital Microfluidic Biochips
|
|
|
|
Autor:
|
|
Jannis Stoppe, Oliver Keszöcze, Maximilian Luenert, Robert Wille, Rolf Drechsler |
| Konferenz: |
|
IEEE Computer Society Annual Symposium on VLSI (ISVLSI) |
Referenz:
|
| Bochum, Germany, 2017
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» Towards VHDL-based Design of Reversible Circuits
|
|
|
|
Autor:
|
|
Zaid Al-Wardi, Robert Wille, Rolf Drechsler
|
| Konferenz: |
|
Reversible Computation |
Referenz:
|
| Kolkata, India, 2017
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» Efficient Construction of QMDDs for Irreversible, Reversible and Quantum Functions
|
|
|
|
Autor:
|
|
Philipp Niemann, Alwin Zulehner, Robert Wille, Rolf Drechsler
|
| Konferenz: |
|
Reversible Computation |
Referenz:
|
| pp. 214-231, Kolkata, India, 2017
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» An Adaptive Prioritized ε-Preferred Evolutionary Algorithm for Approximate BDD Optimization
|
|
|
|
Autor:
|
|
Saeideh Shirinzadeh, Mathias Soeken, Daniel Große, Rolf Drechsler |
| Konferenz: |
|
Genetic and Evolutionary Computation Conference (GECCO) |
Referenz:
|
| Berlin, Germany, 2017
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» ProACt: A Processor for High Performance On-demand Approximate Computing
|
|
|
|
Autor:
|
|
Arun Chandrasekharan, Daniel Große, Rolf Drechsler |
| Konferenz: |
|
27th ACM Great Lakes Symposium on VLSI (GLSVLSI) |
Referenz:
|
| pp. 463-466, Banff, Alberta, Canada, 2017
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» OR-Inverter Graphs for the Synthesis of Optical Circuits
|
|
|
|
Autor:
|
|
Arighna Deb, Robert Wille, Rolf Drechsler |
| Konferenz: |
|
47th International Symposium on Multiple-Valued Logic (ISMVL) |
Referenz:
|
| Novi Sad, Serbia, 2017
| Hyperlink:
|
| [Link zur Konferenz]
|
» Extensions to the Reversible Hardware Description Language SyReC
|
|
|
|
Autor:
|
|
Zaid Al-Wardi, Robert Wille, Rolf Drechsler |
| Konferenz: |
|
47th International Symposium on Multiple-Valued Logic (ISMVL) |
Referenz:
|
| Novi Sad, Serbia, 2017
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» Error Bounded Exact BDD Minimization in Approximate Computing
|
|
|
|
Autor:
|
|
Saman Fröhlich, Daniel Große, Rolf Drechsler |
| Konferenz: |
|
47th International Symposium on Multiple-Valued Logic (ISMVL) |
Referenz:
|
| pp. 254-259, Novi Sad, Serbia, 2017
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» Exact Synthesis of Ternary Reversible Functions using Ternary Toffoli Gates
|
|
|
|
Autor:
|
|
Abhoy Kole, P. Mercy Nesa Rani, Kamalika Datta, Indranil Sengupta, Rolf Drechsler |
| Konferenz: |
|
47th International Symposium on Multiple-Valued Logic (ISMVL) |
Referenz:
|
| Novi Sad, Serbia, 2017
| Hyperlink:
|
| [Link zur Konferenz]
|
» Effects of Cell Shapes on the Routability of Digital Microfluidic Biochips
|
|
|
|
Autor:
|
|
Kevin Leonard Schneider, Oliver Keszöcze, Jannis Stoppe, Rolf Drechsler |
| Konferenz: |
|
Design, Automation and Test in Europe (DATE) |
Referenz:
|
| Lausanne, Switzerland, 2017
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» Automatic Equivalence Checking for SystemC-TLM 2.0 Models
Against their Formal Specifications
|
|
|
|
Autor:
|
|
Mehran Goli, Jannis Stoppe, Rolf Drechsler |
| Konferenz: |
|
Design, Automation and Test in Europe (DATE) |
Referenz:
|
| Lausanne, Switzerland, 2017
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» Data Flow Testing for Virtual Prototypes
|
|
|
|
Autor:
|
|
Muhammad Hassan, Vladimir Herdt, Hoang M. Le, Mingsong Chen, Daniel Große, Rolf Drechsler
|
| Konferenz: |
|
Design, Automation and Test in Europe (DATE) |
Referenz:
|
| Lausanne, Switzerland, 2017
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» Endurance Management for Resistive Logic-In-Memory Computing Architectures
|
|
|
|
Autor:
|
|
Saeideh Shirinzadeh, Mathias Soeken, Pierre-Emmanuel Gaillardon, Giovanni De Micheli, Rolf Drechsler |
| Konferenz: |
|
Design, Automation and Test in Europe (DATE) |
Referenz:
|
| Lausanne, Switzerland, 2017
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» Optimization of Retargeting for IEEE 1149.1 TAP Controllers with Embedded Compression
|
|
|
|
Autor:
|
|
Sebastian Huhn, Stephan Eggersglüß, Krishnendu Chakrabarty, Rolf Drechsler |
| Konferenz: |
|
Design, Automation and Test in Europe (DATE) |
Referenz:
|
| Lausanne, Schweiz, 2017
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» Trust is good, Control is better: Hardware-based Instruction-Replacement for Reliable Processor-IPs
|
|
|
|
Autor:
|
|
Kenneth Schmitz, Arun Chandrasekharan, Jonas Gomes Filho, Daniel Große, Rolf Drechsler |
| Konferenz: |
|
22nd Asia and South Pacific Design Automation Conference (ASP-DAC) |
Referenz:
|
| Chiba/Tokyo, Japan, 2017
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» Enhancing Robustness of Sequential Circuits Using
Application-specific Knowledge and Formal Methods
|
|
|
|
Autor:
|
|
Sebastian Huhn, Stefan Frehse, Robert Wille, Rolf Drechsler |
| Konferenz: |
|
22nd Asia and South Pacific Design Automation Conference (ASP-DAC) |
Referenz:
|
| Chiba/Tokyo, Japan, 2017
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» Exact Routing for Micro-Electrode-Dot-Array Digital Microfluidic Biochips
|
|
|
|
Autor:
|
|
Oliver Keszöcze, Zipeng Li, Andreas Grimmer, Robert Wille, Krishnendu Chakrabarty, Rolf Drechsler |
| Konferenz: |
|
22nd Asia and South Pacific Design Automation Conference (ASP-DAC) |
Referenz:
|
| Chiba/Tokyo, Japan, 2017
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» Exploring Superior Structural Materials Using Multi-Objective Optimization and Formal Techniques
|
|
|
|
Autor:
|
|
Rolf Drechsler, Stephan Eggersglüß, Nils Ellendt, Sebastian Huhn, Lutz Mädler |
| Konferenz: |
|
6th IEEE International Symposium on Embedded Computing & System Design (ISED) |
Referenz:
|
| Indian Institute of Technology, Patna, India, 2016
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» Clocks vs. Instants Relations: Verifying CCSL Time Constraints in UML/MARTE Models
|
|
|
|
Autor:
|
|
Judith Peters, Nils Przigoda, Robert Wille, Rolf Drechsler |
| Konferenz: |
|
14th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE) |
Referenz:
|
| Indian Institute of Technology, Kanpur, India, 2016
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» Frame Conditions in Symbolic Representations of UML/OCL Models
|
|
|
|
Autor:
|
|
Nils Przigoda, Jonas Gomes Filho, Philipp Niemann, Robert Wille, Rolf Drechsler |
| Konferenz: |
|
14th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE) |
Referenz:
|
| pp. 65-70, Indian Institute of Technology, Kanpur, India, 2016
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» Guided Lightweight Software Test Qualification for IP Integration using Virtual Prototypes
|
|
|
|
Autor:
|
|
Daniel Große, Hoang M. Le, Muhammad Hassan, Rolf Drechsler |
| Konferenz: |
|
IEEE International Conference on Computer Design (ICCD) |
Referenz:
|
| Phoenix, USA, 2016
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» AIBA: an Automated Intra-Cycle Behavioral Analysis
for SystemC-based Design Exploration
|
|
|
|
Autor:
|
|
Mehran Goli, Jannis Stoppe, Rolf Drechsler |
| Konferenz: |
|
IEEE International Conference on Computer Design (ICCD) |
Referenz:
|
| Phoenix, USA, 2016
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» Generating and Checking Control Logic in the HDL-based Design of Reversible Circuits
|
|
|
|
Autor:
|
|
Robert Wille, Oliver Keszöcze, Lars Othmer, Michael Kirkedal Thomsen, Rolf Drechsler |
| Konferenz: |
|
International Symposium on Electronic System Design (ISED) |
Referenz:
|
| Patna, Indien, 2016
| Hyperlink:
|
| [Link zur Konferenz]
|
» An Improved Gate Library for Logic Synthesis of Optical Circuits
|
|
|
|
Autor:
|
|
Shuchisman Burman, Kamalika Datta, Robert Wille, Indranil Sengupta, Rolf Drechsler |
| Konferenz: |
|
International Symposium on Electronic System Design (ISED) |
Referenz:
|
| Patna, Indien, 2016
| Hyperlink:
|
| [Link zur Konferenz]
|
» Towards a Model-Based Verification Methodology
for Complex Swarm Systems
|
|
|
|
Autor:
|
|
Jonas Gomes Filho, Nils Przigoda, Robert Wille, Rolf Drechsler |
| Konferenz: |
|
International Symposium on Electronic System Design (ISED) |
Referenz:
|
| Patna, Indien, 2016
| Hyperlink:
|
| [Link zur Konferenz]
|
» Ground Setting Properties for an Efficient Translation of OCL in SMT-based Model Finding
|
|
|
|
Autor:
|
|
Nils Przigoda, Robert Wille, Rolf Drechsler |
| Konferenz: |
|
ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MoDELS) |
Referenz:
|
| Saint Malo, Brittany, France, 2016
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» Equivalence Checking Using Gröbner Bases
|
|
|
|
Autor:
|
|
Amr Sayed Ahmed, Daniel Große, Mathias Soeken, Rolf Drechsler |
| Konferenz: |
|
Formal Methods in Computer Aided Design (FMCAD) |
Referenz:
|
| Mountain View, USA, 2016
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» 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 |
| Konferenz: |
|
Forum on specification & Design Languages (FDL) |
Referenz:
|
| Bremen, Germany, 2016
Best Paper Candidate
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» Approximation-aware Rewriting of AIGs for Error Tolerant Applications
|
|
|
|
Autor:
|
|
Arun Chandrasekharan, Mathias Soeken, Daniel Große, Rolf Drechsler
|
| Konferenz: |
|
International Conference on Computer Aided Design (ICCAD) |
Referenz:
|
| Austin, USA, 2016
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» Compiled Symbolic Simulation for SystemC
|
|
|
|
Autor:
|
|
Vladimir Herdt, Hoang M. Le, Daniel Große, Rolf Drechsler
|
| Konferenz: |
|
International Conference on Computer Aided Design (ICCAD) |
Referenz:
|
| Austin, USA, 2016
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» Initial Ideas for Automatic Design and Verification of Control Logic in Reversible HDLs
|
|
|
|
Autor:
|
|
Robert Wille, Oliver Keszöcze, Lars Othmer, Michael Kirkedal Thomsen, Rolf Drechsler |
| Konferenz: |
|
Reversible Computation |
Referenz:
|
| Bologna, Italy, 2016
| Hyperlink:
|
| [Link zur Konferenz]
|
» ParCoSS: Efficient Parallelized Compiled Symbolic Simulation
|
|
|
|
Autor:
|
|
Vladimir Herdt, Hoang M. Le, Daniel Große, Rolf Drechsler |
| Konferenz: |
|
International Conference on Computer Aided Verification (CAV) |
Referenz:
|
| Toronto, Canada, 2016
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» Approximate BDD Optimization with Prioritized ε-Preferred Evolutionary Algorithm
|
|
|
|
Autor:
|
|
Saeideh Shirinzadeh, Mathias Soeken, Daniel Große, Rolf Drechsler |
| Konferenz: |
|
Genetic and Evolutionary Computation Conference (GECCO) |
Referenz:
|
| Denver, USA, 2016
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» An MIG-based Compiler for Programmable Logic-in-Memory Architectures
|
|
|
|
Autor:
|
|
Mathias Soeken, Saeideh Shirinzadeh, Pierre-Emmanuel Gaillardon, Luca Gaetano Amarù, Rolf Drechsler, Giovanni De Micheli
|
| Konferenz: |
|
Design Automation Conference (DAC) |
Referenz:
|
| Austin, USA, 2016
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» Precise Error Determination of Approximated Components in Sequential Circuits with Model Checking
|
|
|
|
Autor:
|
|
Arun Chandrasekharan,
Mathias Soeken,
Daniel Große,
Rolf Drechsler |
| Konferenz: |
|
Design Automation Conference (DAC) |
Referenz:
|
| Austin, USA, 2016
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» Multi-Objective BDD Optimization for RRAM based Circuit Design
|
|
|
|
Autor:
|
|
Saeideh Shirinzadeh, Mathias Soeken, Rolf Drechsler |
| Konferenz: |
|
IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS'16) |
Referenz:
|
| Košice, Slovakia, 2016
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» VecTHOR: Low-cost compression architecture for IEEE 1149-compliant TAP controllers
|
|
|
|
Autor:
|
|
Sebastian Huhn, Stephan Eggersglüß and Rolf Drechsler |
| Konferenz: |
|
IEEE European Test Symposium (ETS) |
Referenz:
|
| Amsterdam, Niederlande, 2016
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» Fault Detection in Parity Preserving Reversible Circuits
|
|
|
|
Autor:
|
|
Nils Przigoda, Gerhard Dueck, Robert Wille, Rolf Drechsler |
| Konferenz: |
|
46th International Symposium on Multiple-Valued Logic (ISMVL) |
Referenz:
|
| Sapporo, Japan, 2016
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» Re-writing HDL Descriptions for Line-aware Synthesis of Reversible Circuits
|
|
|
|
Autor:
|
|
Zaid Al-Wardi, Robert Wille, Rolf Drechsler |
| Konferenz: |
|
46th International Symposium on Multiple-Valued Logic (ISMVL) |
Referenz:
|
| Sapporo, Japan, 2016
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» Nearest-Neighbor and Fault-Tolerant Quantum Circuit Implementation
|
|
|
|
Autor:
|
|
Laxmidhar Biswal, Chandan Bandyopadhyay, Anupam Chattopadhyay, Robert Wille, Rolf Drechsler, Hafizur Rahaman |
| Konferenz: |
|
46th International Symposium on Multiple-Valued Logic (ISMVL) |
Referenz:
|
| Sapporo, Japan, 2016
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» Technology mapping of reversible circuits to Clifford+T quantum circuits
|
|
|
|
Autor:
|
|
Nabila Abdessaied, Matthew Amy, Mathias Soeken, Rolf Drechsler |
| Konferenz: |
|
46rd International Symposium on Multiple-Valued Logic (ISMVL) |
Referenz:
|
| Sapporo, Japan, 2016
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» Quantitative Timing Analysis of UML Activity Diagrams Using Statistical Model Checking
|
|
|
|
Autor:
|
|
Fan Gu, Xinqian Zhang, Mingsong Chen, Daniel Große,
Rolf Drechsler
|
| Konferenz: |
|
Design, Automation and Test in Europe (DATE) |
Referenz:
|
| pp. 780-785, Dresden, Germany, 2016
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» Towards Formal Verification of Real-World SystemC TLM Peripheral Models - A Case Study
|
|
|
|
Autor:
|
|
Hoang M. Le, Vladimir Herdt, Daniel Große, Rolf Drechsler
|
| Konferenz: |
|
Design, Automation and Test in Europe (DATE) |
Referenz:
|
| pp. 1160-1163, Dresden, Germany, 2016
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» Formal Verification of Integer Multipliers by Combining Gröbner Basis with Logic Reduction
|
|
|
|
Autor:
|
|
Amr Sayed Ahmed, Daniel Große, Ulrich Kühne, Mathias Soeken, Rolf Drechsler |
| Konferenz: |
|
Design, Automation and Test in Europe (DATE) |
Referenz:
|
| pp. 1048-1053, Dresden, Germany, 2016
Best Paper Candidate
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» Fast Logic Synthesis for RRAM-based In-Memory Computing using Majority-Inverter Graphs
|
|
|
|
Autor:
|
|
Saeideh Shirinzadeh, Mathias Soeken, Pierre-Emmanuel Gaillardon, Rolf Drechsler |
| Konferenz: |
|
Design, Automation and Test in Europe (DATE) |
Referenz:
|
| Dresden, Germany, 2016
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» Look-ahead Schemes for Nearest Neighbor Optimization of 1D and 2D Quantum Circuits
|
|
|
|
Autor:
|
|
Robert Wille, Oliver Keszöcze, Marcel Walter, Patrick Rohrs, Anupam Chattopadhyay, Rolf Drechsler |
| Konferenz: |
|
Asia and South Pacific Design Automation Conference (ASP-DAC) |
Referenz:
|
| Macao, China, 2016
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» BDD Minimization for Approximate Computing
|
|
|
|
Autor:
|
|
Mathias Soeken, Daniel Große, Arun Chandrasekharan, Rolf Drechsler |
| Konferenz: |
|
Asia and South Pacific Design Automation Conference (ASP-DAC) |
Referenz:
|
| pp. 474-479, Macao, China, 2016
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» Improving the Realization of Multiple-Control Toffoli Gates Using the NCVW Quantum Gate Library
|
|
|
|
Autor:
|
|
Laxmidhar Biswal, Chandan Bandyopadhyay, Robert Wille, Rolf Drechsler, Hafizur Rahaman |
| Konferenz: |
|
International Conference on VLSI Design (VLSI Design) |
Referenz:
|
| Kolkata, India, 2016
| Hyperlink:
|
| [Link zur Konferenz]
|
» Hardware/Software Co-Visualization on the Electronic System Level using SystemC
|
|
|
|
Autor:
|
|
Rolf Drechsler, Jannis Stoppe |
| Konferenz: |
|
International Conference
on VLSI Design |
Referenz:
|
| Kolkata, India, 2016
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» Ensuring Safety and Reliability of IP-based System
Design – A Container Approach
|
|
|
|
Autor:
|
|
Arun Chandrasekharan, Kenneth Schmitz, Ulrich Kühne, Rolf Drechsler |
| Konferenz: |
|
IEEE International Symposium on Rapid System Protoyping (RSP), 2015 |
Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» Reversible Computation: An Alternative Computation Paradigm for Low Power Applications
|
|
|
|
Autor:
|
|
Rolf Drechsler, Robert Wille |
| Konferenz: |
|
International Green and Sustainable Computing Conference (IGSC) |
Referenz:
|
| Las Vegas, USA, 2015
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» Checking Concurrent Behavior in UML/OCL Models
|
|
|
|
Autor:
|
|
Nils Przigoda, Christoph Hilken, Robert Wille, Jan Peleska, Rolf Drechsler |
| Konferenz: |
|
ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MoDELS) |
Referenz:
|
| Ottawa, Kanada, 2015
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» Boosting SystemC-based Testbenches with Modern C++ and Coverage-Driven Generation
|
|
|
|
Autor:
|
|
Hoang M. Le, Rolf Drechsler
|
| Konferenz: |
|
Design and Verification Conference and Exhibition Europe (DVCon Europe) |
Referenz:
|
| Munich, Germany, 2015
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» Reverse Engineering with Simulation Graphs
|
|
|
|
Autor:
|
|
Mathias Soeken, Baruch Sterin, Rolf Drechsler, Robert K. Brayton |
| Konferenz: |
|
Formal Methods in Computer Aided Design (FMCAD) |
Referenz:
|
| Austin, 2015
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» Reversible Circuit Rewriting with Simulated Annealing
|
|
|
|
Autor:
|
|
Nabila Abdessaied, Mathias Soeken, Gerhard W. Dueck, and Rolf Drechsler |
| Konferenz: |
|
IFIP/IEEE International Conference on Very Large Scale Integration (VLSI-SoC) |
Referenz:
|
| Daejeon, Korea, 2015
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» A General and Exact Routing Methodology for Digital Microfluidic
Biochips
|
|
|
|
Autor:
|
|
Oliver Keszöcze, Robert Wille, Krishnendu Chakrabarty Rolf Drechsler
|
| Konferenz: |
|
International Conference on Computer Aided Design (ICCAD) |
Referenz:
|
| Austin, USA, 2015
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» Formal Methods for Emerging Technologies
|
|
|
|
Autor:
|
|
Robert Wille, Rolf Drechsler
|
| Konferenz: |
|
International Conference on Computer Aided Design (ICCAD) |
Referenz:
|
| Austin, USA, 2015
| Hyperlink:
|
| [Link zur Konferenz]
|
» Leveraging the Analysis for Invariant Independence in Formal System Models
|
|
|
|
Autor:
|
|
Nils Przigoda, Robert Wille, Rolf Drechsler |
| Konferenz: |
|
Euromicro Conference on Digital System Design (DSD) |
Referenz:
|
| Funchal, Madeira, Portugal, 2015
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
» Verification-driven Design Across Abstraction Levels - A Case Study
|
|
|
|
Autor:
|
|
Nils Przigoda, Jannis Stoppe, Julia Seiter, Robert Wille, Rolf Drechsler |
| Konferenz: |
|
Euromicro Conference on Digital System Design (DSD) |
|
| |
