Practical Design Verification

materialian007

Practical Design Verification
Author: Dhiraj K. Pradhan & Ian G. Harris
Hardcover: 288 pages
Publisher: Cambridge University Press; 1 edition (July 20, 2009)
Language: English
ISBN-10: 0521859727
ISBN-13: 978-0521859721

Practical Design Verification (Pradhan & Harris, ISBN-13 978-0-521-85972-1, 2009).rar (1.9 MB , 下载次数: 66 )

2013-3-1 03:43 上传

点击文件名下载附件

本实用指南，正式的和基于仿真的功能验证，提高了设计效率，降低成本。给你一个理论和实践的理解所涉及的关键问题，专家作者，包括韦恩狼和丹Gajski解释的正式技术（模型检查，等效性检查）和基于仿真的技术（覆盖度量，测试生成）。您洞察实际问题包括的硬件验证的语言（HVLs）和系统级调试。包括正式和基于仿真的技术基础，而最近的研究进展，包括事务级建模和基于断言的验证，加验证的理论基础，包括使用的决策图和布尔可满足性（SAT）。

[url=]復原編輯[/url]

Alpha

gubels

回复 1# materialian007


   Godd tanks a lot

krypton

已下。很好的书。多谢楼主！

absalomo1o1

现在在和老师做project。其中提到了这本书，amazon上都是上百刀。还是这里最方便，下来看看，多谢楼主分享！

absalomo1o1

哇 居然不是影印版的。大大超出我的预想，多谢咯~~~

Ryggeor

thnx!