| 书目名称 | Test Pattern Generation using Boolean Proof Engines | | 编辑 | Rolf Drechsler,Stephan Eggersglüβ,Daniel Tille | | 视频video | | | 概述 | The first book giving a detailed overview on SAT-based ATPG.All techniques are validated on industrial designs.A comprehensive introduction to Boolean Satisfiability | | 图书封面 |  | | 描述 | .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. . | | 出版日期 | Book 2009 | | 关键词 | ATPG; Boolean Satisfiability; Standard; formal methods; logic; testing | | 版次 | 1 | | doi | https://doi.org/10.1007/978-90-481-2360-5 | | isbn_softcover | 978-90-481-8491-0 | | isbn_ebook | 978-90-481-2360-5 | | copyright | Springer Science+Business Media B.V. 2009 |
The information of publication is updating
|
|
发表于 2025-3-21 17:17:10
