2015 - IEEE Fellow For contributions to test and verification of electronic circuits and systems
Rolf Drechsler mainly investigates Algorithm, Boolean function, Theoretical computer science, Logic synthesis and Binary decision diagram. His Algorithm study combines topics from a wide range of disciplines, such as Upper and lower bounds, Quantum computer, Quantum gate and Data structure. His research in Boolean function tackles topics such as Representation which are related to areas like Generalization, Influence diagram and Decision tree.
He has included themes like Boolean circuit, Hardware description language and Sequential logic in his Theoretical computer science study. The various areas that he examines in his Logic synthesis study include Toffoli gate, Electronic design automation, Electronic circuit and Computer engineering. His Binary decision diagram study combines topics in areas such as Variable, Discrete mathematics, Exact algorithm, Minification and Quantum logic.
His primary areas of study are Algorithm, Theoretical computer science, Boolean function, Electronic circuit and Formal verification. The concepts of his Algorithm study are interwoven with issues in Automatic test pattern generation and Minification. His biological study spans a wide range of topics, including Representation, Kronecker delta and Data structure.
His Electronic circuit research is multidisciplinary, incorporating elements of Quantum, Quantum computer, Electronic engineering and Computer engineering. His Formal verification research includes themes of Model checking and Formal methods. His Logic synthesis research is included under the broader classification of Logic gate.
Rolf Drechsler mainly focuses on Electronic circuit, Computer engineering, Embedded system, Programming language and Logic gate. His research in Electronic circuit intersects with topics in CMOS, Quantum, Binary decision diagram, Computation and Topology. His research in Computer engineering focuses on subjects like Field, which are connected to Electronic design automation.
In his work, Formal verification is strongly intertwined with Correctness, which is a subfield of Embedded system. Logic synthesis is the focus of his Logic gate research. His SystemC research is multidisciplinary, incorporating perspectives in Electronic system-level design and verification and Debugging.
His scientific interests lie mostly in Electronic circuit, Computer engineering, Logic gate, SystemC and Embedded system. His Electronic circuit research incorporates elements of Electronic engineering, CMOS, Electronic design automation, Binary decision diagram and Integrated circuit. Rolf Drechsler has researched Computer engineering in several fields, including Routing and Field.
His Logic gate research is multidisciplinary, relying on both Quantum computer, Adder and Cellular automaton. His Quantum computer research includes elements of Algorithm, Theoretical computer science, Influence diagram and Qubit. His SystemC study also includes fields such as
This overview was generated by a machine learning system which analysed the scientist’s body of work. If you have any feedback, you can contact us here.
RevLib: An Online Resource for Reversible Functions and Reversible Circuits
R. Wille;D. Grosse;L. Teuber;G.W. Dueck.
international symposium on multiple valued logic (2008)
BDD-based synthesis of reversible logic for large functions
Robert Wille;Rolf Drechsler.
design automation conference (2009)
Binary Decision Diagrams: Theory and Implementation
Bernd Becker;Rolf Drechsler.
Efficient Representation and Manipulation of Switching Functions Based on Ordered Kronecker Functional Decision Diagrams
R. Drechsler;A. Sarabi;M. Theobald;B. Becker.
design automation conference (1994)
Exact Multiple-Control Toffoli Network Synthesis With SAT Techniques
D. Grosse;R. Wille;G.W. Dueck;R. Drechsler.
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (2009)
Advanced Formal Verification
Genetic algorithm for variable ordering of OBDDs
R. Drechsler;B. Becker;N. Gockel.
IEE Proceedings - Computers and Digital Techniques (1996)
Verifying UML/OCL models using Boolean satisfiability
Mathias Soeken;Robert Wille;Mirco Kuhlmann;Martin Gogolla.
design, automation, and test in europe (2010)
RTL-Datapath Verification using Integer Linear Programming
Raik Brinkmann;Rolf Drechsler.
asia and south pacific design automation conference (2002)
Binary decision diagrams in theory and practice
Rolf Drechsler;Detlef Sieling.
International Journal on Software Tools for Technology Transfer (2001)
Profile was last updated on December 6th, 2021.
Research.com Ranking is based on data retrieved from the Microsoft Academic Graph (MAG).
The ranking h-index is inferred from publications deemed to belong to the considered discipline.
If you think any of the details on this page are incorrect, let us know.
We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below: