| 書目名稱 | Test Pattern Generation using Boolean Proof Engines |
| 編輯 | Rolf Drechsler,Stephan Eggersglüβ,Daniel Tille |
| 視頻video | http://file.papertrans.cn/904/903325/903325.mp4 |
| 概述 | 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 |
| 關(guān)鍵詞 | 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 |
|Archiver|手機版|小黑屋|
派博傳思國際
( 京公網(wǎng)安備110108008328)
GMT+8, 2025-10-7 20:34
發(fā)表于 2025-3-21 17:17:10
