Test pattern generation using Boolean proof engines View on Open Library

Test pattern generation using Boolean proof engines

by Rolf Drechsler

No reviews yet
First published: 2009 1 language ISBN: 9789048123599
Subjects
Computer algorithms Boolean Algebra Integrierte Schaltung Verification Automatic test equipment ATPG Hardwareverifikation Integrated circuits Algebra, boolean Binary system (mathematics)

Reviews

Log in or sign up to write a review.

No reviews yet. Be the first!

More by Rolf Drechsler

Advanced Boolean Techniques

Advanced Boolean Techniques

Formal Specification Level

Formal Specification Level

High Quality Test Pattern Generation and Boolean Satisfiability

High Quality Test Pattern Generation and...

In-Memory Computing

In-Memory Computing

Advanced BDD Optimization

Advanced BDD Optimization

Reversible and Quantum Circuits

Reversible and Quantum Circuits

You Might Also Like

More in Computer algorithms
Prey

Prey

Michael Crichton
Computer Networks

Computer Networks

Andrew S. Tanenbaum
Artificial intelligence

Artificial intelligence

Stuart J. Russell
Pattern Recognition

Pattern Recognition

Cheng-Lin Liu
Advances in Swarm Intelligence

Advances in Swarm Intelligence

Ying Tan
JavaScript

JavaScript

David Flanagan