High Quality Test Pattern Generation Robust Algorithms Using Boolean SatisfiabilityRolf Drechsler

High Quality Test Pattern Generation Robust Algorithms Using Boolean Satisfiability

Rolf Drechsler · 2012

Where to buy

Check today’s price on Amazon. We do not show prices because they change daily.

Affiliate link. As an Amazon Associate we earn from qualifying purchases.

Book details

Year: 2012
Publisher: Springer
Editions: 1
ISBN: 9781441999757

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

Test pattern generation using Boolean proof enginesRolf Drechsler

Test pattern generation using Boolean proof engines

Rolf Drechsler · 2009

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