Author: Rolf Drechsler    
Paper Title Authors Year
Towards Automatic Hardware Synthesis from Formal Specification to Implementation Fritjof Bornebusch, Christoph Lth, Robert Wille, Rolf Drechsler 2020
Maximizing power state cross coverage in firmware-based power management Vladimir Herdt, Hoang M. Le, Daniel Große, Rolf Drechsler 2019
Scalable design for field-coupled nanocomputing circuits Marcel Walter, Robert Wille, Frank Sill Torres, Daniel Große, Rolf Drechsler 2019
Approximation-aware testing for approximate circuits Arun Chandrasekharan, Stephan Eggersglüß, Daniel Große, Rolf Drechsler 2018
Enhancing robustness of sequential circuits using application-specific knowledge and formal methods Sebastian Huhn, Stefan Frehse, Robert Wille, Rolf Drechsler 2017
Exact routing for micro-electrode-dot-array digital microfluidic biochips Oliver Keszöcze, Zipeng Li, Andreas Grimmer, Robert Wille, Krishnendu Chakrabarty, Rolf Drechsler 2017
Trust is good, control is better: Hardware-based instruction-replacement for reliable processor-Ips Kenneth Schmitz, Arun Chandrasekharan, Jonas Gomes Filho, Daniel Große, Rolf Drechsler 2017
BDD minimization for approximate computing Mathias Soeken, Daniel Große, Arun Chandrasekharan, Rolf Drechsler 2016
Look-ahead schemes for nearest neighbor optimization of 1D and 2D quantum circuits Robert Wille, Oliver Keszöcze, Marcel Walter, Patrick Rohrs, Anupam Chattopadhyay, Rolf Drechsler 2016
Determining the minimal number of swap gates for multi-dimensional nearest neighbor quantum circuits Aaron Lye, Robert Wille, Rolf Drechsler 2015
Reverse BDD-based synthesis for splitter-free optical circuits Robert Wille, Oliver Keszöcze, Clemens Hopfmuller, Rolf Drechsler 2015
Efficient synthesis of quantum circuits implementing clifford group operations Philipp Niemann, Robert Wille, Rolf Drechsler 2014
Optimal SWAP gate insertion for nearest neighbor quantum circuits Robert Wille, Aaron Lye, Rolf Drechsler 2014
Improving the mapping of reversible circuits to quantum circuits using multiple target lines Robert Wille, Mathias Soeken, Christian Otterstedt, Rolf Drechsler 2013
Synthesis of reversible circuits with minimal lines for large functions Mathias Soeken, Robert Wille, Christoph Hilken, Nils Przigoda, Rolf Drechsler 2012
Robust on-chip bus architecture synthesis for MPSoCs under random tasks arrival Sujan Pandey, Rolf Drechsler 2008
Lower bounds for dynamic BDD reordering Rüdiger Ebendt, Rolf Drechsler 2005
Bridging fault testability of BDD circuits Junhao Shi, Görschwin Fey, Rolf Drechsler 2005
Minimization of the expected path length in BDDs based on local changes Rüdiger Ebendt, Wolfgang Günther, Rolf Drechsler 2004
Combining ordered best-first search with branch and bound for exact BDD minimization Rüdiger Ebendt, Wolfgang Günther, Rolf Drechsler 2004
Improving simulation-based verification by means of formal methods Görschwin Fey, Rolf Drechsler 2004
RTL-datapath verification using integer linear programming Raik Brinkmann, Rolf Drechsler 2002
Low power optimization technique for BDD mapped circuits Per Lindgren, Mikael Kerttu, Mitchell A. Thornton, Rolf Drechsler 2001
Exploiting Don't Caers During Data Sequencing using Genetic Algorithms Rolf Drechsler, Nicole Drechsler 1999
Minimization of Free BDDs Wolfgang Günther, Rolf Drechsler 1999
Power Consumption in XOR-Based Circuits Yibin Ye, Kaushik Roy, Rolf Drechsler 1999
Manipulation of *BMDs Rolf Drechsler, Stefan Höreth 1998
ETDD-Based Synthesis of Term-Based FPGAs for Incompletely Specified Boolean Functions Gueesang Lee, Rolf Drechsler 1998
On the representational power of bit-level and word-level decision diagrams. Bernd Becker, Rolf Drechsler, Reinhard Enders 1997
Learning heuristics for OKFDD minimization by evolutionary algorithms. Nicole Göckel, Rolf Drechsler, Bernd Becker 1997
Learning heuristics by genetic algorithms Rolf Drechsler, Bernd Becker 1995