All Formats & Editions
1 - 2 of 2 results found
Test Pattern Generation Using Boolean Proof Eng...
Edition Description
In Test Pattern Generation using Boolean Proof Engines, we give an introduction to ATPG. The basic concept and classical ATPG algorithms are reviewed. Then, the formulation as a SAT problem is considered. As the underlying engine, modern SAT solvers and their use on circuit...
Edition Details
Format:Paperback
Language:English
ISBN:9048184916
Format: Paperback
Condition:
$
109.99
Test Pattern Generation Using Boolean Proof Eng...
Edition Description
In Test Pattern Generation using Boolean Proof Engines, we give an introduction to ATPG. The basic concept and classical ATPG algorithms are reviewed. Then, the formulation as a SAT problem is considered. As the underlying engine, modern SAT solvers and their use on circuit...
Edition Details
Format:Hardcover
Language:English
ISBN:9048123593
Format: Hardcover
Condition:
$
109.99
Copyright © 2026 Thriftbooks.com
Terms of Use | Privacy Policy | Do Not Sell/Share My Personal Information | Cookie Notice | Cookie Preferences | Accessibility Statement
ThriftBooks ® and the ThriftBooks ® logo are registered trademarks of Thrift Books Global, LLC
ThriftBooks ® and the ThriftBooks ® logo are registered trademarks of Thrift Books Global, LLC
