Rolf Drechsler

Towards One-Pass Synthesis

2002

Advanced Boolean Techniques

2024

Test Pattern Generation using Boolean Proof Engines

2010

Reversible and Quantum Circuits

2018

In-Memory Computing

2023

High Quality Test Pattern Generation and Boolean Satisfiability

2014

Formal Verification of Circuits

2000

Formal Specification Level

2016

Evolutionary Algorithms for VLSI CAD

1998

Evolutionary Algorithms for Embedded System Design

2012

Binary decision diagrams

1998

Advanced formal verification

2010

Advanced BDD Optimization

2010

Recent Findings in Boolean Techniques

2022

Information Storage

2020

Formal Verification of Structurally Complex Multipliers

2024

Formal System Verification

2018

Formal Modeling and Verification of Cyber-Physical Systems

2015