Verification techniques for system-level design [electronic resource] / Masahiro Fujita, Indradeep Ghosh, and Mukul Prasad.
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...
Saved in:
| Online Access: |
Full Text (via ScienceDirect) |
|---|---|
| Main Author: | |
| Other Authors: | , |
| Format: | Electronic eBook |
| Language: | English |
| Published: |
Amsterdam ; Boston :
Morgan Kaufmann Publishers,
©2008.
|
| Series: | Morgan Kaufmann series in systems on silicon.
|
| Subjects: |
Internet
Full Text (via ScienceDirect)Online
| Call Number: |
TK7895.E42 F95 2008eb
|
|---|---|
| TK7895.E42 F95 2008eb | Available |