Test pattern generation using Boolean proof enginesRolf Drechsler
Test pattern generation using Boolean proof engines
Rolf Drechsler · 2009
Where to buy
Check today’s price on Amazon. We do not show prices because they change daily.
View on AmazonAffiliate link. As an Amazon Associate we earn from qualifying purchases.
Book details
- Year
- 2009
- Language
- English
- Publisher
- Springer
- Editions
- 1
- Pages
- 192
- ISBN
- 9789048123599
Data source: Wikidata
More by Rolf Drechsler
Towards One-Pass SynthesisRolf Drechsler
Towards One-Pass Synthesis
Rolf Drechsler · 2002
Formal Verification of CircuitsRolf Drechsler
Formal Verification of Circuits
Rolf Drechsler · 2000
Binary Decision DiagramsRolf Drechsler
Binary Decision Diagrams
Rolf Drechsler · 1998
Evolutionary Algorithms for VLSI CADRolf Drechsler
Evolutionary Algorithms for VLSI CAD
Rolf Drechsler · 1998
Advanced Boolean TechniquesRolf Drechsler
Advanced Boolean Techniques
Rolf Drechsler · 2023
Formal System VerificationRolf Drechsler
Formal System Verification
Rolf Drechsler · 2017
Formal Modeling and Verification of Cyber-Physical SystemsRolf Drechsler
Formal Modeling and Verification of Cyber-Physical Systems
Rolf Drechsler · 2015
Advanced Formal VerificationRolf Drechsler
Advanced Formal Verification
Rolf Drechsler · 2004
Evolutionary Algorithms for Embedded System DesignRolf Drechsler
Evolutionary Algorithms for Embedded System Design
Rolf Drechsler · 2003
Towards one-pass synthesisRolf Drechsler
Towards one-pass synthesis
Rolf Drechsler · 2002