Rolf Drechsler
· 56 obras en el catálogo
Obras
Test pattern generation using Boolean proof engines
Advanced formal verification
High Quality Test Pattern Generation Robust Algorithms Using Boolean Satisfiability
Advanced Formal Verification
2004
Binary decision diagrams
1998
Evolutionary algorithms for VLSI CAD
1998
Formal Verification of Circuits
2000
Towards one-pass synthesis
2002
Evolutionary algorithms for embedded system design
Graphenbasierte Funktionsdarstellung: Boolesche und Pseudo-Boolesche Funktionen (XLeitfäden der Informatik) (German Edition)
Advanced BDD Optimization
Binary Decision Diagrams
Evolutionary Algorithms for VLSI CAD
Evolutionary Algorithms for Embedded System Design
Formal Verification of Circuits
Graphenbasierte Funktionsdarstellung
Towards One-Pass Synthesis
Towards One-Pass Synthesis
Design Automation Techniques for Approximation Circuits
Formal Specification Level
Quality-Driven SystemC Design
High Quality Test Pattern Generation and Boolean Satisfiability
Test Pattern Generation using Boolean Proof Engines
