株式会社極東書店トップ ＞ 商品一覧 ＞ Symbolic Simulation Methods for Industrial Formal Verification. Softcover reprint of the original 1st ed. 2002
商品詳細
Symbolic Simulation Methods for Industrial Formal Verification. Softcover reprint of the original 1st ed. 2002
・ISBN 978-1-4613-5395-9 paper EUR 99.99
￥26,726.- (税込) ※（※）価格はご注文時の参考価格となります。
納品価格につきましては書籍の入荷時点で確定となります。
版元の原価改定、外国為替の変動等により異なる場合がございますので、予めご了承下さい。
| 著者・編者 | Jones, Robert B., |
|---|---|
| 出版社 | (Springer-Verlag New York Inc., US) |
| 出版年月 | 2012 |
| ページ数 | 151 pp. |
| 言語 | ENG |
| ニュース番号 | ＜A04-78273＞ |
解説
Symbolic Simulation Methods for Industrial Formal Verification contains two distinct, but related, approaches to the verification problem. Both are based on symbolic simulation. The first approach is applied at the gate level and has been successful in verifying sub-circuits of industrial microprocessors with tens and even hundreds of thousands of gates. The second approach is applied at a high-level of abstraction and is used for high-level descriptions of designs.
The book contains three main topics:
- Self consistency, a technique for deriving a formal specification of design behavior from the design itself;
- The use of the parametric representation to encode predicates as functional vectors for symbolic simulation, an important step in addressing the state-explosion problem;
- Incremental flushing, a method used to verify high-level descriptions of out-of-order execution.