Advanced BDD Optimization

ανά Ebendt, Rüdiger, Fey, Görschwin, Drechsler, Rolf
Έκδοση 2005

Advanced Logic Synthesis

Έκδοση 2018

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

ανά Przigoda, Nils, Przigoda, Nils, Wille, Robert, Przigoda, Judith, Drechsler, Rolf
Έκδοση 2018

Automatic Methods for the Refinement of System Models From the Specification to the Implementation /

ανά Seiter, Julia, Wille, Robert, Drechsler, Rolf
Έκδοση 2017

Debugging at the Electronic System Level

ανά Rogin, Frank, Drechsler, Rolf
Έκδοση 2010

Design Automation Techniques for Approximation Circuits Verification, Synthesis and Test /

ανά Chandrasekharan, Arun, Chandrasekharan, Arun, Große, Daniel, Drechsler, Rolf
Έκδοση 2019

Exact Design of Digital Microfluidic Biochips

ανά Keszocze, Oliver, Keszocze, Oliver, Wille, Robert, Drechsler, Rolf
Έκδοση 2019

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 /

Έκδοση 2015

Formal Specification Level Concepts, Methods, and Algorithms /

ανά Soeken, Mathias, Drechsler, Rolf
Έκδοση 2015

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

Έκδοση 2018

High Quality Test Pattern Generation and Boolean Satisfiability

ανά Eggersglüß, Stephan, Drechsler, Rolf
Έκδοση 2012

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

Έκδοση 2016

Quality-Driven SystemC Design

ανά Große, Daniel, Drechsler, Rolf
Έκδοση 2010

Reversible and Quantum Circuits Optimization and Complexity Analysis /

ανά Abdessaied, Nabila, Drechsler, Rolf
Έκδοση 2016

Robustness and Usability in Modern Design Flows

ανά Fey, Görschwin, Drechsler, Rolf
Έκδοση 2008

Test Pattern Generation using Boolean Proof Engines

ανά Drechsler, Rolf, Eggersglüβ, Stephan, Fey, Görschwin, Tille, Daniel
Έκδοση 2009

Towards a Design Flow for Reversible Logic

ανά Wille, Robert, Drechsler, Rolf
Έκδοση 2010