详细讲解形式化验证的书籍 advanced formal verification

CMOS3511 · 发表于 2012-5-31 16:55:44

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

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

x

本书详细讲解的相对于仿真验证的另一种功能验证方式--形式化验证
Title: advanced formal verification
Author: Drechsler, Rolf (Ed.)
Year: 2004
Pages: 624 p.

Advanced Formal Verification shows the latest developments in the verification domain from the perspectives of the user and the developer. World leading experts describe the underlying methods of today's verification tools and describe various scenarios from industrial practice. In the first part of the book the core techniques of today's formal verification tools, such as SAT and BDDs are addressed. In addition, multipliers, which are known to be difficult, are studied. The second part gives insight in professional tools and the underlying methodology, such as property checking and assertion based verification. Finally, analog components have to be considered to cope with complete system on chip designs.

advanced formal verification.pdf (4.19 MB, 下载次数: 1020 )

fixit · 发表于 2012-5-31 20:05:08

好资料，顶一个！

nico0811 · 发表于 2012-5-31 21:15:44

good,3x

coutausse · 发表于 2012-5-31 21:16:52

先顶一个，谢谢

lujunfeng111 · 发表于 2012-6-2 20:26:49

好书，以前已经有人上传过了。

bob_haohao · 发表于 2012-6-8 13:49:39

下来看看，看看有没有工具的说明

CMOS3511 · 发表于 2012-6-8 14:31:42

回复 6# bob_haohao

这本书是讲形式化验证和assertion的，应该没有工具之类的说明……

vipld · 发表于 2012-6-9 15:35:04

谢谢分享~

uestckui · 发表于 2012-6-9 21:00:42

EN 不錯的書籍

lyq8382 · 发表于 2012-6-12 20:20:47

嗯，好书，下来看看

[资料] 详细讲解形式化验证的书籍 advanced formal verification

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

相关帖子

站长推荐 /1