株式会社極東書店トップ ＞ 商品一覧 ＞ New Data Structures and Algorithms for Logic Synthesis and Verification. Softcover reprint of the original 1st ed. 2017
商品詳細
New Data Structures and Algorithms for Logic Synthesis and Verification. Softcover reprint of the original 1st ed. 2017
・ISBN 978-3-319-82753-7 paper EUR 49.99
￥13,361.- (税込) ※（※）価格はご注文時の参考価格となります。
納品価格につきましては書籍の入荷時点で確定となります。
版元の原価改定、外国為替の変動等により異なる場合がございますので、予めご了承下さい。
| 著者・編者 | Amaru, Luca Gaetano, |
|---|---|
| 出版社 | (Springer International Publishing AG, SZ) |
| 出版年月 | 2018 |
| ページ数 | 156 pp. |
| 言語 | ENG |
| ニュース番号 | ＜A02-91284＞ |
解説
This book introduces new logic primitives for electronic design automation tools. The author approaches fundamental EDA problems from a different, unconventional perspective, in order to demonstrate the key role of rethinking EDA solutions in overcoming technological limitations of present and future technologies. The author discusses techniques that improve the efficiency of logic representation, manipulation and optimization tasks by taking advantage of majority and biconditional logic primitives. Readers will be enabled to accelerate formal methods by studying core properties of logic circuits and developing new frameworks for logic reasoning engines.