
Bedeutendste Publikationen |
Scalable One-Pass Synthesis for Digital Microfluidic Biochips
|
Art |
Autor/en | Robert Wille, Oliver Keszocze, Rolf Drechsler, Tobias Boehnisch, Alexander Kroker | Jahr | 2015 | In | IEEE Design & Test | Jahrgang | 2015 | Heft | 32(6) | Seiten | 41-50 |
|
Zeitschriftenaufsatz |
|
Verifying SystemC using stateful symbolic simulation
|
Art |
Autor/en | Vladimir Herdt, Hoang M. Le, Rolf Drechsler | Jahr | 2015 | In | DAC | Jahrgang | 2015 | Seiten | 49:1-49:6 |
|
Konferenzbeitrag |
|
Exact Multiple-Control Toffoli Network Synthesis With SAT Techniques
|
Art |
Autor/en | Daniel Große, Robert Wille, Gerhard W. Dueck, Rolf Drechsler | Jahr | 2009 | In | IEEE Trans. on CAD of Integrated Circuits and Systems | Jahrgang | 2009 | Heft | 28(5) | Seiten | 703-715 |
|
Zeitschriftenaufsatz |
|
BDD-based synthesis of reversible logic for large functions
|
Art |
Autor/en | Robert Wille, Rolf Drechsler | Jahr | 2009 | In | DAC 2009 | Jahrgang | 2009 | Seiten | 270-275 |
|
Konferenzbeitrag |
|
On Acceleration of SAT-Based ATPG for Industrial Designs
|
Art |
Autor/en | Rolf Drechsler, Stephan Eggersglüß, Görschwin Fey, Andreas Glowatz, Friedrich Hapke, Jürgen Schlöffel, Daniel Tille | Jahr | 2008 | In | IEEE Trans. on CAD of Integrated Circuits and Systems | Jahrgang | 2008 | Heft | 27(7) | Seiten | 1329-1333 |
|
Zeitschriftenaufsatz |
|
|