Compare Prices | Create Shopping Lists with Price Drop Alerts | Set Coupons, Promo Codes & Sales Alerts | Get Access to Exclusive Deals and Much More... All in One Place | Read all about it here

Test Pattern Generation using Boolean Proof Engines

Test Pattern Generation using Boolean Proof Engines

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9789048123605
Condition
New
Product 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 related problems are comprehensively discussed. Advanced techniques for SAT-based ATPG are introduced and evaluated in the context of an industrial environment. The chapters of the book cover efficient instance generation, encoding of multiple-valued logic, usage of various fault models, and detailed experiments on multi-million gate designs. The book describes the state of the art in the field, highlights research aspects, and shows directions for future work.

Available Colors
Available Sizes
1 Offer Price Range: $84.99 - $84.99
BEST PRICE

Single Product Purchase

$84.99
@ Link.springer.com     BUY Now

Price Comparison

Seller Contact Seller List Price On Sale Shipping Best Promo Final Price Volume Discount Financing Availability Seller's Page
BEST PRICE
1 Product Purchase
@ Link.springer.com
Contact Store Call Store Contact Support
$84.99 $84.99

$84.99
See Site In stock Visit Store

Similar Products

Population Dynamics and Projection Methods

$109.99

Versteh mich nicht zu schnell Achtsames Arbeiten mit geflchteten Menschen

$29.99

Seen and Unseen

$39.99

Proceedings of the International Conference on Science, Technology and Social Sciences (ICSTSS) 2012

$219.99

bungsbuch zur Finanzmathematik

$44.99

Out of My Mind

$6.74

Structural Science of Crystalline Polymers

$249.99

Central Europe towards Monetary Union: Macroeconomic Underpinnings and Financial Reputation

$129.00

Alleviating Soil Fertility Constraints to Increased Crop Production in West Africa

$129.00

Historische Flle aus der Medizin

$49.99

Dynamics of Systems of Rigid Bodies

$49.99

Transactions on Computational Collective Intelligence XXIV

$54.99

Geometry of Defining Relations in Groups

$99.00

CAD for Hardware Security

$109.99

Modeling, Verification and Exploration of Task-Level Concurrency in Real-Time Embedded Systems

$129.00

Produktions- und Kostentheorie

$44.99

Living Together

$84.99

Pdagogische Psychologie

$29.99

Bewegung und Beugung des Sinns

$39.99

Risiko- und Technikakzeptanz

$64.99

Die Mikroskopischen Boden-Pilze

$64.99

Labor Evangelicals

$129.99

Human Resources Management in Banken

$44.99

Towards a Theory of United Nations Peacekeeping

$109.99

Computational Geometry - Methods, Algorithms and Applications

$39.99

Design of Assistive Technology for Ageing Populations

$159.99

BiCMOS Technology and Applications

$169.99

Exchange of Information and Data Protection in Cross-border Criminal Proceedings in Europe

$109.99

Handbuch Philosophie des Geistes

$99.00

Geometric Methods in Physics

$54.99

Nutzfahrzeugtechnik

$159.99

Neurosonography of the Pre-Term Neonate

$84.99

Therapeutics of Neural Stimulation for Neurological Disorders

$149.00

Higher Education in the Arab World

$109.99

Advances in the Theory of Frchet Spaces

$219.99

Atlas of Tissue Doppler Echocardiography TDE

$54.99

Kosten- und Leistungsrechnung

$69.95

Computational Science and Technology

$109.99

Servant Leader Human Resource Management

$119.99

Introduction to Nutrition and Health Research

$129.00