Advanced Boolean Techniques : Selected Papers from the 13th International Workshop on Boolean Problems

Published 2020

Enhanced Virtual Prototyping : Featuring RISC-V Case Studies

by Herdt, Vladimir, Große, Daniel, Drechsler, Rolf
Published 2021

Exact Design of Digital Microfluidic Biochips

by Keszocze, Oliver, Wille, Robert, Drechsler, Rolf
Published 2019

Advanced Logic Synthesis

Published 2018

Formal System Verification : State-of the-Art and Future Trends

Published 2018

Formal Specification Level : Concepts, Methods, and Algorithms

by Soeken, Mathias, Drechsler, Rolf
Published 2015

Robustness and Usability in Modern Design Flows

by Fey, Görschwin, Drechsler, Rolf
Published 2008

Advanced BDD Optimization

by Ebendt, Rudiger, Fey, Görschwin, Drechsler, Rolf
Published 2005

Noch analog oder lebst Du schon? : Mit Nœrdman durch die Welt von heute... und morgen

by Drechsler, Rolf, Stoppe, Jannis
Published 2021

Natural Language Processing for Electronic Design Automation

Published 2020

Information Storage : A Multidisciplinary Perspective

Published 2020

In-Memory Computing : Synthesis and Optimization

by Shirinzadeh, Saeideh, Drechsler, Rolf
Published 2020

Formal Modeling and Verification of Cyber-Physical Systems : 1st International Summer School on Methods and Tools for the Design of Digital Systems, Bremen, Germany, September 2015

Published 2015

Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers

by Przigoda, Nils, Wille, Robert, Przigoda, Judith, Drechsler, Rolf
Published 2018

Automated Analysis of Virtual Prototypes at the Electronic System Level : Design Understanding and Applications

by Goli, Mehran, Drechsler, Rolf
Published 2020

Quality-Driven SystemC Design

by Große, Daniel, Drechsler, Rolf
Published 2010

Debugging at the Electronic System Level

by Rogin, Frank, Drechsler, Rolf
Published 2010

Test Pattern Generation using Boolean Proof Engines

by Drechsler, Rolf, Eggersglüß, Stephan, Fey, Görschwin, Tille, Daniel
Published 2009

Towards a Design Flow for Reversible Logic

by Wille, Robert, Drechsler, Rolf
Published 2010

Languages, Design Methods, and Tools for Electronic System Design : Selected Contributions from FDL 2015

Published 2016