Assertion_based_Design_2nd (2005)--free

kevinz

一本有关验证的书，虽然基于断言的设计方法已经提出多年。对一些
做低端ASIC的公司，基本上没有用这些技术。但随着国内IC设计的发展，
我们会越来越多地用到一些先进技术。所以还是在业余时间多提高自己
吧。
【文件名】:071127@52RD_Assertion_based_Design_2nd.rar
【格　式】:rar
【大　小】:3102K
【简　介】:
【目　录】:

There is much excitement in the design and verification
community about assertion-based design. The question is, who
should study assertion-based design? The emphatic answer is,
both design and verification engineers.
What may be unintuitive to many design engineers is that adding
assertions to RTL code will actually reduce design time, while
better documenting design intent.
Every design engineer should read this book! Design engineers
that add assertions to their design will not only reduce the time
needed to complete a design, they will also reduce the number of
interruptions from verification engineers to answer questions
about design intent and to address verification suite mistakes.
With design assertions in place, the majority of the interruptions
from verification engineers will be related to actual design
problems and the error feedback provided will be more useful to
help identify design flaws. A design engineer who does not add
assertions to the RTL code will spend more time with verification
engineers explaining the design functionality and intended
interface requirements, knowledge that is needed by the
verification engineer to complete the job of testing the design.
Every verification engineer should read this book! The smart
verification engineer will assist the design engineer to add
assertions to the RTL-design code because the sooner a design
engineer understands the usage and benefits of inserting assertions
into the design, the more valuable that design engineer will be to
the verification effort. A smart verification engineer is someone
who can help a designer to catch the vision and understand the
ease and value of assertion-based design. This is the first book to
comprehensively address and explain HDL assertion-based
design.

yqnie

顶一个

ysenchen

Thanks a lot.
It seems good.

rabbityang

[em01]

yqnie

up again

totuwei

very good document!

ysenchen

Thanks for your kindly sharing.