Efficient Generation of Test Patterns Using Boolean Satisfiability
Download or Read eBook Efficient Generation of Test Patterns Using Boolean Satisfiability PDF written by Tracy Larrabee and published by . This book was released on 1990 with total page 57 pages. Available in PDF, EPUB and Kindle.
Author | : Tracy Larrabee |
Publisher | : |
Total Pages | : 57 |
Release | : 1990 |
ISBN-10 | : OCLC:22525951 |
ISBN-13 | : |
Rating | : 4/5 (51 Downloads) |
Book Synopsis Efficient Generation of Test Patterns Using Boolean Satisfiability by : Tracy Larrabee
Book excerpt: 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."