Rolf Drechsler

• Formal System Verification
• In-Memory Computing
• Design for Testability, Debug and Reliability
• Advanced BDD Optimization
• Advanced Boolean Techniques
• Advanced Formal Verification
• Advanced formal verification
• Advanced Logic Synthesis
• Automated Analysis of Virtual Prototypes at the Electronic System Level
• Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
• Automatic Methods for the Refinement of System Models
• Binary Decision Diagrams