在线咨询
eetop公众号 创芯大讲堂 创芯人才网
切换到宽版

EETOP 创芯网论坛 (原名:电子顶级开发网)

手机号码,快捷登录

手机号码,快捷登录

找回密码

  登录   注册  

快捷导航
搜帖子
查看: 4511|回复: 29

【 eBook】Advanced Formal Verification

[复制链接]
发表于 2007-6-8 02:42:30 | 显示全部楼层 |阅读模式

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

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

x

http://www.amazon.com/Advanced-Formal-Verification-Rolf-Drechsler/dp/1402077211/ref=sr_1_1/002-7300933-3645616?ie=UTF8&s=books&qid=1181240727&sr=1-1

Book Description
Modern circuits may contain up to several hundred million transistors. In the meantime it has been observed that verification becomes the major bottleneck in design flows, i.e. up to 80% of the overall design costs are due to verification. This is one of the reasons why several methods have been proposed as alternatives to classical simulation. Simulation alone cannot guarantee sufficient coverage of the design resulting in bugs that may remain undetected.

As alternatives formal verification techniques have been proposed. Instead of simulating a design the correctness is proven by formal techniques. There are different areas where these approaches can be used: equivalence checking, property checking or symbolic simulation. These methods have been successfully applied in many industrial projects and have become the state-of-the-art technique in several fields. However, the deployment of the existing tools in real-world projects also showed the weaknesses and problems of formal verification techniques. This gave motivating impulses for tool developers and researchers.

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.

In this book the state-of-the-art in many important fields of formal verification are described. Besides the description of the most recent research results, open problems and challenging research areas are addressed. Because of this, the book is intended for CAD developers and researchers in the verification domain, where formal techniques become a core technology to successful circuit and system design. Furthermore, the book is an excellent reference for users of verification tools in order to acquire a better understanding of the internal principles and subsequently drive the tools to the highest performance. In this context the book is dedicated to those in industry and academia to stay informed about the most recent developments in the field of formal verification.

Advanced.Formal.Verification.part1.rar

1.46 MB, 下载次数: 636 , 下载积分: 资产 -2 信元, 下载支出 2 信元

Advanced.Formal.Verification.part2.rar

722.2 KB, 下载次数: 387 , 下载积分: 资产 -2 信元, 下载支出 2 信元

发表于 2007-6-8 05:02:07 | 显示全部楼层
worth of it
发表于 2007-6-8 18:59:34 | 显示全部楼层
dingygie
发表于 2007-6-9 04:02:39 | 显示全部楼层

谢谢LZ

一直想好好学学验证。谢谢楼主。
发表于 2007-6-9 07:37:38 | 显示全部楼层
一直想好好学学验证。谢谢楼主。
发表于 2007-6-11 23:41:09 | 显示全部楼层
xie xie !!!!!!!!
发表于 2007-6-13 06:18:51 | 显示全部楼层
thanks for your information.......
thanks...........
发表于 2007-6-14 21:12:11 | 显示全部楼层
谢谢楼主!
发表于 2007-6-17 19:15:51 | 显示全部楼层
谢谢楼主分享
发表于 2007-6-17 19:53:20 | 显示全部楼层
好啊!谢谢了!
您需要登录后才可以回帖 登录 | 注册

本版积分规则

关闭

站长推荐 上一条 /1 下一条

×

小黑屋| 关于我们| 联系我们| 在线咨询| 隐私声明| EETOP 创芯网
( 京ICP备:10050787号 京公网安备:11010502037710 )

GMT+8, 2024-3-29 20:57 , Processed in 0.032460 second(s), 9 queries , Gzip On, Redis On.

eetop公众号 创芯大讲堂 创芯人才网
快速回复 返回顶部 返回列表