Efficient Generation Of Test Patterns Using Boolean Satisfiability
Download and Read Efficient Generation Of Test Patterns Using Boolean Satisfiability full books in PDF, ePUB, and Kindle. Read online free Efficient Generation Of Test Patterns Using Boolean Satisfiability ebook anywhere anytime directly on your device. We cannot guarantee that every ebooks is available!
Efficient Generation of Test Patterns Using Boolean Satisfiability
Author | : Tracy Larrabee |
Publisher | : |
Total Pages | : 57 |
Release | : 1990 |
Genre | : Algebra, Boolean |
ISBN | : |
Download Efficient Generation of Test Patterns Using Boolean Satisfiability Book in PDF, Epub and Kindle
Second, it applies a Boolean satisfiability algorithm to the resulting formula. This approach differs from most programs now in use, which directly search the circuit data structure instead of constructing a formula from it. The new method is quite general and allows for the addition of any heuristic used by the structural search methods. The Boolean satisfiability method has produced excellent results on popular test pattern generation benchmarks."
Efficient Generation of Test Patterns Using Boolean Satisfiability Related Books
Pages: 57
Pages: 208
Pages:
Pages: 196
Pages: 182