|
马上注册,结交更多好友,享用更多功能,让你轻松玩转社区。
您需要 登录 才可以下载或查看,没有账号?注册
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)。 |
|