Assertion-Based Design

ISBN-13: 9781402074981 / Angielski / Twarda / 2003 / 263 str.

Harry Foster; Adam Krolnik; David Lacey

Opis

The focus of Assertion-Based Design is three-fold: How to specify assertions; how to create and adopt a methodology that supports assertion-based design (predominately for RTL design); and what to do with the assertions and methodology once you have them. forms of assertion specification: Accellera Open Verification Library (OVL), Accellera Property Specification Language (PSL), and Accellera SystemVerilog. their combined actual experiences in applying an assertion-based methodology to real design and verification as well as their work in developing industry assertion standards.