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