Practical Design Verification

materialian007 · 发表于 2013-3-1 03:50:42

马上注册，结交更多好友，享用更多功能，让你轻松玩转社区。

您需要登录才可以下载或查看，没有账号？注册

x

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, 下载次数: 82 )

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

immonster · 发表于 2013-3-2 16:48:14

用的google还是baidu的翻译啊

fixit · 发表于 2013-3-3 12:35:34

学习学习

rsb · 发表于 2013-6-26 16:29:11

Very Good textbook!

kvin33 · 发表于 2018-12-4 09:04:51

Thanks. Great download

eng_moh · 发表于 2020-9-18 02:55:33

thanks

eng_moh · 发表于 2020-9-19 22:46:32

thanks very much.

[资料] Practical Design Verification

马上注册，结交更多好友，享用更多功能，让你轻松玩转社区。

相关帖子

站长推荐 /2