×

先进的形式化验证

消耗积分:0 | 格式:rar | 大小:4506 | 2009-07-25

109052

分享资料个

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 recently
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 many different areas where these approaches can be
used, like equivalence checking, property checking or symbolic simulation.
Meanwhile these methods have been successfully applied in many
industrial projects and have become the state-of-the-art technique in
several fields. But 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.
The book shows latest developments in the verification domain from
the user and from the developer perspective. 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, like SAT and
BDDs are addressed. In addition, instances known to be difficult, like
multipliers, are studied. The second part gives insight in professional
tools and the underlying methodology, like property checking and assertion
based verification. Finally, to cope with complete system on chip
designs also analog components have to be considered.
In this book the state-of-the-art in many important fields of formal
verification is described. Besides the description of the most recent research
results, open problems and challenging research areas are addressed.
By 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 to get a
better understanding of the internal principles and by this to drive the
tools to the highest performance. In this context the book is dedicated
to all people in industry and academia to keep informed about the most
recent developments in the field of formal verification.

声明:本文内容及配图由入驻作者撰写或者入驻合作网站授权转载。文章观点仅代表作者本人,不代表电子发烧友网立场。文章及其配图仅供工程师学习之用,如有内容侵权或者其他违规问题,请联系本站处理。 举报投诉

评论(0)
发评论

下载排行榜

全部0条评论

快来发表一下你的评论吧 !