Assertion-Based Design

by Foster, Harry
4.8 out of 5 Customer Rating
ISBN: 9781402074981

Available Offers


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.
  • Format: Hardcover
  • Author: Foster, Harry
  • ISBN: 9781402074981
  • Condition: Used
  • Dimensions: 9.52 x 1.02
  • Number Of Pages: 263
  • Publication Year: 2003

Customer Reviews