Sorry,the image is not available

Drechsler Rolf, Eggersgluss Stephan, Fey Gorschwin, Tille Daniel:
Test Pattern Generation Using Boolean Proof Engines

Springer (Netherlands), 2009
Hardback, 208 pages
Size: 234x156 mm
ISBN: 9789048123599
ISBN-10: 9048123593

Our price: £76.50
List price: £90.00
You save: 15%

Usually ships within 2 weeks.

Will be shipped from: United Kingdom
 Add to Shopping Basket 

Test Pattern Generation Using Boolean Proof Engines

Gives an introduction to ATPG. This work reviews the basic concept and classical ATPG algorithms. It also considers the formulation as a SAT problem. It covers efficient instance generation, encoding of multiple-valued logic, usage of various fault models, and detailed experiments on multi-million gate designs.

Related links:

Rolf Drechsler
Stephan Eggersgluss
Gorschwin Fey
Daniel Tille
Circuits & components
Electronics engineering
Electronics & communications engineering
Technology, engineering, agriculture, veterinary science
Springer

More information from Wikipedia:

Rolf Drechsler
Stephan Eggersgluss
Gorschwin Fey
Daniel Tille
© 2006-2009 Eruditor Ltd and its partners

Search

Whole catalogue
Religious subjects depicted in art

Advanced Search

Browse

Authors’ Name Index

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Share |