2006 // Conference paper
An integrated approach for combining BDD and SAT provers
Proceedings of the IEEE International Conference on VLSI Design
Drechsler, R.; Fey, G.; Kinder, S.
2006 // Book
Automatic Test Pattern Generation
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Drechsler, R.; Fey, G.
2006 // Conference paper
Avoiding False Negatives in Formal Verification for Protocol-Driven Blocks
Proceedings -Design, Automation and Test in Europe, DATE
Fey, G.; Große, D.; Drechsler, R.
2006 // Conference paper
Complete formal verification of multi-core embedded systems using bounded model checking
2006 IEEE Dallas/CAS Workshop on Design, Applications, Integration, and Software, DCAS-06
Kühne, U.; Große, D.; Drechsler, R.
2006 // Journal article
Effect of Improved Lower Bounds in Dynamic BDD Reordering
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Ebendt, R.; Drechsler, R.
2006 // Conference paper
Efficiency of Multi-valued Encoding in SAT-Based ATPG
Proceedings of The International Symposium on Multiple-Valued Logic
Fey, G.; Shi, J.; Drechsler, R.
2006 // Book
Efficient evolutionary approaches to the data ordering problem with inversion
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Logofatu, D.; Drechsler, R.
2006 // Conference paper
Efficient Minimization of Fully Testable 2-SPP Networks
Proceedings -Design, Automation and Test in Europe, DATE
Bernasconi, A.; Ciriani, V.; Drechsler, R.; Villa, T.
2006 // Journal article
Exact Minimization of Path-Related Objective Functions for Binary Decision Diagrams
IEE Proceedings: Computers and Digital Techniques
Ebendt, R.; Drechsler, R.
2006 // Conference paper
Exact Toffoli network synthesis of reversible logic using Boolean satisfiability
2006 IEEE Dallas/CAS Workshop on Design, Applications, Integration, and Software, DCAS-06
Große, D.; Chen, X.; Drechsler, R.
2006 // Book
Exploration of Sequential Depth Using Evolutionary Algorithms
IFIP International Federation for Information Processing
Drechsler, N.; Drechsler, R.
2006 // Conference paper
Hardware/Software Co-Verification of Embedded Systems Using Bounded Model Checking
Proceedings of the ACM Great Lakes Symposium on VLSI, GLSVLSI
Große, D.; Kühne, U.; Drechsler, R.
2006 // Conference paper
Integrating "don't cares" for observability into all-solution SAT solvers
Proceedings - IEEE International Symposium on Circuits and Systems
Safarpour, S.; Veneris, A.; Drechsler, R.
2006 // Book
Lecture Notes in Computer Science (including the subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Rothlauf, F.; Costa, E.; Lutton, E.; Romero, J.; Takagi, H.; Branke, J.; Cotta, C.; Machado, P.; Smith, G.D.; Cagnoni, S.; Drechsler, R.; Moore, J.H.; Squillero, G.
2006 // Journal article
Minimizing the Number of Paths in BDDs: Theory and Algorithm
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Fey, G.; Drechsler, R.
2006 // Conference paper
On the Relationship Between Simulation-Based and SAT-Based Diagnosis
Proceedings -Design, Automation and Test in Europe, DATE
Fey, G.; Safarpour, S.; Veneris, A.; Drechsler, R.
2006 // Conference paper
On the Sensitivity of BDDs with Respect to Path-Related Objective Functions
Proceedings - IEEE International Symposium on Circuits and Systems
Ebendt, R.; Drechsler, R.
2006 // Book
Stuck-at-fault testability of SPP three-level logic forms
IFIP International Federation for Information Processing
Ciriani, V.; Bernasconi, A.; Drechsler, R.
2006 // Conference paper
System Exploration of SystemC Designs
Proceedings - IEEE Computer Society Annual Symposium on Emerging VLSI Technologies and Architectures 2006
Genz, C.; Drechsler, R.
2006 // Book
System-level validation using formal techniques
System-on-Chip: Next Generation Electronics
Drechsler, R.; Große, D.
2006 // Conference paper
Technical documentation for software and hardware in embedded systems
IFIP VLSI-SoIC 2006 - IFIP WG 10.5 International Conference on Very Large Scale Integration and System-on-Chip
Muranko, B.; Drechsler, R.
2006 // Journal article
Testability of SPP Three-Level Logic Networks in Static Fault Models
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Ciriani, V.; Bemasconi, A.; Drechsler, R.
2005 // Book
Acceleration of SAT-Based Iterative Property Checking
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Große, D.; Drechsler, R.
2005 // Book
Advanced BDD Optimization
Advanced BDD Optimization
Ebendt, R.; Fey, G.; Drechsler, R.
2005 // Conference paper
Bridging the Testability Gap in BDD Circuits
Proceedings of the Asia and South Pacific Design Automation Conference, ASP-DAC
Shi, J.; Fey, G.; Drechsler, R.
