分享给好友:
Test Pattern Generation using Boolean Proof Engines Rolf Drechsler 2009 edition
价格
元 835
不含税
远程仓调货
预计送达时间 年6月5日 - 年6月23日
添加至iMusic心愿单
其他版本：
Test Pattern Generation using Boolean Proof Engines
Rolf Drechsler
In Test Pattern Generation using Boolean Proof Engines, we give an introduction to ATPG. 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.
192 pages, biography
| 介质类型 | 图书 Hardcover Book (精装硬皮书) |
| 已发行 | 2009年4月30日 |
| ISBN13 | 9789048123599 |
| 出版商 | Springer |
| 页数 | 192 |
| 商品尺寸 | 155 × 235 × 12 mm · 467 g |
| 语言 | 英语 |
Rolf Drechsler的更多作品
显示全部![Cover for Rolf Drechsler · Existence: Semantics and Syntax - Studies in Linguistics and Philosophy (Hardcover Book) [2007 edition] (2007)](https://imusic.com.cn/local-image/images/item/original/967/9781402061967.jpg?rolf-drechsler-2007-existence-semantics-and-syntax-studies-in-linguistics-and-philosophy-hardcover-book&class=scaled&v=1408464331)
![Cover for Rolf Drechsler · Advanced Formal Verification (Hardcover Book) [2004 edition] (2004)](https://imusic.com.cn/local-image/images/item/original/210/9781402077210.jpg?rolf-drechsler-2004-advanced-formal-verification-hardcover-book&class=scaled&v=1605106914)
![Cover for Rolf Drechsler · Evolutionary Algorithms for Embedded System Design - Genetic Algorithms and Evolutionary Computation (Hardcover Book) [2003 edition] (2002)](https://imusic.com.cn/local-image/images/item/original/765/9781402072765.jpg?rolf-drechsler-2002-evolutionary-algorithms-for-embedded-system-design-genetic-algorithms-and-evolutionary-computation-hardcover-book&class=scaled&v=1547873781)
![Cover for Rolf Drechsler · Towards One-Pass Synthesis (Hardcover Book) [2002 edition] (2002)](https://imusic.com.cn/local-image/images/item/original/440/9781402070440.jpg?rolf-drechsler-2002-towards-one-pass-synthesis-hardcover-book&class=scaled&v=1408490290)
![Cover for Rolf Drechsler · Binary Decision Diagrams: Theory and Implementation (Hardcover Book) [1998 edition] (1998)](https://imusic.com.cn/local-image/images/item/original/938/9780792381938.jpg?rolf-drechsler-1998-binary-decision-diagrams-theory-and-implementation-hardcover-book&class=scaled&v=1410211703)
Mere med samme udgiver
![Cover for Carsten Rossi · Happiness Hacks: Das Anti-Digital-Detox-Buch: Wie digitale Medien Sie glucklich machen konnen (Paperback Book) [1. Aufl. 2025 edition] (2027)](https://imusic.com.cn/local-image/images/missing-tall.png)
查看Rolf Drechsler的全部作品 ( 例如 Paperback Book , Hardcover Book 及 Book )