Rolf Drechsler & Stephan Eggersglüß 
Test Pattern Generation using Boolean Proof Engines [PDF ebook] 

поддержка

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.

€96.29
Способы оплаты

Содержание

Preliminaries.- Boolean Satisfiability.- SAT-Based ATPG.- Learning Techniques.- Multiple-Valued Logic.- Improved Circuit-to-CNF Conversion.- Branching Strategies.- Integration into Industrial Flow.- Delay Faults.- Summary and Outlook.

Купите эту электронную книгу и получите еще одну БЕСПЛАТНО!
язык английский ● Формат PDF ● страницы 192 ● ISBN 9789048123605 ● Размер файла 4.2 MB ● издатель Springer Netherland ● город Dordrecht ● Страна NL ● опубликованный 2009 ● Загружаемые 24 месяцы ● валюта EUR ● Код товара 2220774 ● Защита от копирования Социальный DRM

Больше книг от того же автора (ов) / редактор

19 094 Электронные книги в этой категории