Assertion-Based Design

Name: Assertion-Based Design
Brand: Springer, Berlin
SKU: 9781402074981
Price: 95.19 EUR
Availability: InStock

Autor: Harry D. Foster, Adam C. Krolnik, David J. Lacey

Jazyk:

Väzba: Pevná

Vydavateľ: Springer, Berlin

Dostupnosť: Skladom u dodávateľa

Odosielame za 10-18 dní

95.19 €

The focus of Assertion-Based Design is three-fold: How to specify assertions; How to create and adop...

Informácie o knihe

Autor

Harry D. Foster, Adam C. Krolnik, David J. Lacey

Jazyk

Angličtina

Väzba

Kniha - Pevná

Vydalo

2003

Stránok

363

EAN

9781402074981

Enbook ID

01418019

Vydavateľ

Springer, Berlin

Hmotnosť

785

Rozmery

164 x 242 x 26

Kompletný popis

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); What to do with the assertions and methodology once you have them. §To support these three over-arching goals, the authors showcase multiple forms of assertion specification: Accellera Open Verification Library (OVL), Accellera Property Specification Language (PSL), and Accellera SystemVerilog. §The recommendations and claims the authors make in this book are based on 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.

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Assertion-Based Design

Informácie o knihe

Kompletný popis

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež