References . . . . . . . . . . . . . . . . . . . . . . . . . . . . 82 9 QUADRATIC 0-1 PROGRAMMING 8S 9. 1 Energy Minimization 86 9. 2 Notation and Tenninology . . . . . . . . . . . . . . . . . 87 9. 3 Minimization Technique . . . . . . . . . . . . . . . . . . 88 9. 4 An Example . . . . . . . . . . . . . . . . . . . . . . . . 92 9. 5 Accelerated Energy Minimization. . . . . . . . . . . . . 94 9. 5. 1 Transitive Oosure . . . . . . . . . . . . . . . . . 94 9. 5. 2 Additional Pairwise Relationships 96 9. 5. 3 Path Sensitization ...
Read More
References . . . . . . . . . . . . . . . . . . . . . . . . . . . . 82 9 QUADRATIC 0-1 PROGRAMMING 8S 9. 1 Energy Minimization 86 9. 2 Notation and Tenninology . . . . . . . . . . . . . . . . . 87 9. 3 Minimization Technique . . . . . . . . . . . . . . . . . . 88 9. 4 An Example . . . . . . . . . . . . . . . . . . . . . . . . 92 9. 5 Accelerated Energy Minimization. . . . . . . . . . . . . 94 9. 5. 1 Transitive Oosure . . . . . . . . . . . . . . . . . 94 9. 5. 2 Additional Pairwise Relationships 96 9. 5. 3 Path Sensitization . . . . . . . . . . . . . . . . . 97 9. 6 Experimental Results 98 9. 7 Summary. . . . . . . . . . . . . . . . . . . . . . . . . . 100 References . . . . . . . . . . . . . . . . . . . . . . . . . . . . 100 10 TRANSITIVE CLOSURE AND TESTING 103 10. 1 Background . . . . . . . . . . . . . . . . . . . . . . . . 104 10. 2 Transitive Oosure Definition 105 10. 3 Implication Graphs 106 10. 4 A Test Generation Algorithm 107 10. 5 Identifying Necessary Assignments 112 10. 5. 1 Implicit Implication and Justification 113 10. 5. 2 Transitive Oosure Does More Than Implication and Justification 115 10. 5. 3 Implicit Sensitization of Dominators 116 10. 5. 4 Redundancy Identification 117 10. 6 Summary 119 References . . . . . . . . . . . . . . . . . . . . . . . . . . . . 119 11 POLYNOMIAL-TIME TESTABILITY 123 11. 1 Background 124 11. 1. 1 Fujiwara's Result 125 11. 1. 2 Contribution of the Present Work . . . . . . . . . 126 11. 2 Notation and Tenninology 127 11. 3 A Polynomial TlDle Algorithm 128 11. 3. 1 Primary Output Fault 129 11. 3. 2 Arbitrary Single Fault 135 11. 3. 3 Multiple Faults. . . . . . . . . . . . . . . . . . . 137 11. 4 Summary. . . . . . . . . . . . . . . . . . . . . . . . . . 139 References . . . . . . . . . . . . . . . . . . . . . . . . . . . . 139 ix 12 SPECIAL CASES OF HARD PROBLEMS 141 12. 1 Problem Statement 142 12. 2 Logic Simulation 143 12. 3 Logic Circuit Modeling . 146 12. 3. 1 Modelfor a Boolean Gate . . . . . . . . . . . . . 147 12. 3. 2 Circuit Modeling 148 12.
Read Less
Book Details
Seller
Sort
Seller Rating
Price: Low to High
Price: High to Low
Condition
Condition: Reverse
Pub Date
Pub Date: Reverse
Trade paperback,
New
2012, Springer
ISBN-13:
9781461367673
See Item Details ▾
Alibris
BEST
NV, USA
$103.32
$149.99
Add to Cart
Add this copy of Neural Models and Algorithms for Digital Testing to cart. $103.32, new condition, Sold by Ingram Customer Returns Center rated 5.0 out of 5 stars, ships from NV, USA, published 2012 by Springer.
Edition: 2012, Springer
Trade paperback,
New
Available Copies: 10+
Details: ISBN:
1461367670
ISBN-13:
9781461367673
Pages:
184
Publisher:
Springer
Published:
2012
Language:
English
Alibris ID:
11807389062
Shipping Options: Standard Shipping: $4.99
Trackable Expedited: $9.99
Two Day Air: $29.99
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description: New. Print on demand Trade paperback (US). Glued binding. 184 p. The Springer International Engineering and Computer Science, 140.
Hide Details ▴
Hardcover,
New
1991, Springer
ISBN-13:
9780792391654
See Item Details ▾
Alibris
BEST
NV, USA
$103.32
$169.00
Add to Cart
Add this copy of Neural Models and Algorithms for Digital Testing to cart. $103.32, new condition, Sold by Ingram Customer Returns Center rated 5.0 out of 5 stars, ships from NV, USA, published 1991 by Springer.
Edition: 1991, Springer
Hardcover,
New
Available Copies: 10+
Details: ISBN:
0792391659
ISBN-13:
9780792391654
Pages:
184
Edition:
1991 edition
Publisher:
Springer
Published:
1991
Language:
English
Alibris ID:
10104430718
Shipping Options: Standard Shipping: $4.99
Trackable Expedited: $9.99
Two Day Air: $29.99
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description: New. Print on demand Sewn binding. Cloth over boards. 184 p. Contains: Unspecified. The Springer International Engineering and Computer Science, 140.
Hide Details ▴
Hardcover,
Good
1991, Springer
ISBN-13:
9780792391654
See Item Details ▾
Bonita
HIGH
Santa Clarita,
CA,
USA
$107.18
$169.00
Add to Cart
Add this copy of Neural Models and Algorithms for Digital Testing (the to cart. $107.18, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Santa Clarita, CA, UNITED STATES, published 1991 by Springer.
Edition: 1991, Springer
Hardcover,
Good
Details: ISBN:
0792391659
ISBN-13:
9780792391654
Pages:
184
Edition:
1991 edition
Publisher:
Springer
Published:
1991
Language:
English
Alibris ID:
18034559016
Shipping Options: Standard Shipping: $4.99
Trackable Expedited: $9.99
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description: Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book.
Hide Details ▴
Trade paperback,
New
2012, Springer
ISBN-13:
9781461367673
See Item Details ▾
Ria Christie Books
HIGH
Uxbridge,
MIDDLESEX,
UNITED KINGDOM
$132.45
$149.99
Add to Cart
Add this copy of Neural Models and Algorithms for Digital Testing to cart. $132.45, new condition, Sold by Ria Christie Books rated 4.0 out of 5 stars, ships from Uxbridge, MIDDLESEX, UNITED KINGDOM, published 2012 by Springer.
Edition: 2012, Springer
Trade paperback,
New
Available Copies: 10+
Details: ISBN:
1461367670
ISBN-13:
9781461367673
Pages:
184
Publisher:
Springer
Published:
2012
Language:
English
Alibris ID:
18320914987
Shipping Options: Standard Shipping: $4.99
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description: New. Trade paperback (US). Glued binding. 184 p. The Springer International Engineering and Computer Science, 140.
Hide Details ▴
Hardcover,
New
1991, Springer
ISBN-13:
9780792391654
See Item Details ▾
Ria Christie Books
HIGH
Uxbridge,
MIDDLESEX,
UNITED KINGDOM
$132.45
$169.00
Add to Cart
Add this copy of Neural Models and Algorithms for Digital Testing to cart. $132.45, new condition, Sold by Ria Christie Books rated 4.0 out of 5 stars, ships from Uxbridge, MIDDLESEX, UNITED KINGDOM, published 1991 by Springer.
Edition: 1991, Springer
Hardcover,
New
Available Copies: 10+
Details: ISBN:
0792391659
ISBN-13:
9780792391654
Pages:
184
Edition:
1991 edition
Publisher:
Springer
Published:
1991
Language:
English
Alibris ID:
18321961550
Shipping Options: Standard Shipping: $4.99
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description: New. Sewn binding. Cloth over boards. 184 p. Contains: Unspecified. The Springer International Engineering and Computer Science, 140.
Hide Details ▴
ISBN-13: 9781461367673
Trade paperback
ISBN-13: 9780792391654
1991 edition
Hardcover
All Editions of Neural Models and Algorithms for Digital Testing
