Overview
- Authors:
-
-
Harry Foster
-
Verplex Systems, Inc., USA
-
Adam Krolnik
-
LSI Logic Corporation, USA
-
David Lacey
-
Hewlett-Packard Company, USA
Access this book
Other ways to access
Table of contents (7 chapters)
-
Front Matter
Pages i-xxii
-
- Harry Foster, Adam Krolnik, David Lacey
Pages 1-20
-
- Harry Foster, Adam Krolnik, David Lacey
Pages 21-56
-
- Harry Foster, Adam Krolnik, David Lacey
Pages 57-99
-
- Harry Foster, Adam Krolnik, David Lacey
Pages 101-121
-
- Harry Foster, Adam Krolnik, David Lacey
Pages 123-159
-
- Harry Foster, Adam Krolnik, David Lacey
Pages 161-210
-
- Harry Foster, Adam Krolnik, David Lacey
Pages 211-268
-
Back Matter
Pages 353-357
About this book
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.
Reviews
"By combining its three authors' extensive experience in engineering, applying, and standardizing assertions, this book provides a solid foundation for assertion-based logic design quality and productivity. It is mandatory reading by all computing product design teams. Teams that don't read and apply the assertion-based design ideas in this book will flunk out of the competition."
(Lionel Bening, Hewlett-Packard - Co-Author of "Principles of Verifiable RTL Design")
Authors and Affiliations
-
Verplex Systems, Inc., USA
Harry Foster
-
LSI Logic Corporation, USA
Adam Krolnik
-
Hewlett-Packard Company, USA
David Lacey
