Functional verification coverage measurement and analysis

著者

• Piziali, Andrew

書誌事項

Functional verification coverage measurement and analysis

Andrew Piziali

Springer, c2008

注記

Includes bibliographical references and index

"First softcover printing, c2008" -- T.p. verso

内容説明・目次

内容説明

This book addresses a means of quantitatively assessing functional verification progress. Without this process, design and verification engineers, and their management, are left guessing whether or not they have completed verifying the device they are designing. Using the techniques described in this book, they will learn how to build a toolset which allows them to know how close they are to functional closure. This is the first book to introduce a useful taxonomy for coverage of metric classification. Using this taxonomy, the reader will clearly understand the process of creating an effective coverage model. This book offers a thoughtful and comprehensive treatment of its subject for anybody who is really serious about functional verification.

目次

The Language of Coverage.- Functional Verification.- Measuring Verification Coverage.- Functional Coverage.- Code Coverage.- Assertion Coverage.- Coverage-Driven Verification.- Improving Coverage Fidelity With Hybrid Models.

「Nielsen BookData」 より

詳細情報

• NII書誌ID(NCID): BA88628027
• ISBN:
  • 9780387739922
• LCCN: 2007932007
• 出版国コード: us
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: New York, N.Y.
• ページ数/冊数: xv, 213 p.
• 大きさ: 24 cm
• 分類:
  • LCC : TK7874.58
  • DC22 : 621.3815/48
• 件名:
  • LCSH : Integrated circuits -- Verification