Verification Techniques for System-Level Design (Hardcover)

This book will explain how to verify SoC logic designs using "formal" and "semi-formal" verification techniques. The critical issue to be addressed is whether the functionality of the design is the one that the designers intended. Simulation has been used for checking the correctness of SoC designs (as in "functional" verification), but many subtle design errors cannot be caught by simulation. Recently, formal verification, giving mathematical proof of the correctness of designs, has been getting much more attention. So far, most of the books on formal verification target the register transfer level (RTL) or lower levels of design. For higher design productivity, it is essential to debug designs as early as possible. That is, designs should be completely verified at very abstracted design levels (higher than RTL). This book covers all aspects of high-level formal and semi-formal verification techniques for system level designs.
- First book that covers all aspects of formal and semi-formal, high-level (higher than RTL) design verification targeting SoC designs.
- Formal verification of high-level designs (RTL or higher).
- Verification techniques are discussed with associated system-level design methodology.

General

Imprint:	Morgan Kaufmann Publishers In
Country of origin:	United States
Series:	Systems on Silicon
Release date:	December 2007
First published:	November 2007
Authors:	Masahiro Fujita • Indradeep Ghosh • Mukul Prasad
Dimensions:	235 x 191 x 22mm (L x W x T)
Format:	Hardcover
Pages:	256
ISBN-13:	978-0-12-370616-4
Categories:	Books > Professional & Technical > Energy technology & engineering > Electrical engineering > General Books > Professional & Technical > Electronics & communications engineering > Electronics engineering > Circuits & components Books > Academic & Education > Professional & Technical > Computing
LSN:	0-12-370616-5
Barcode:	9780123706164

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!