Assertion-Based Design

Name: Assertion-Based Design
Brand: Springer, Berlin
SKU: 9781402074981
Price: 500.07 RON
Availability: InStock

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

Limbă:

Legare: Copertă tare

Editura: Springer, Berlin

Disponibilitate: În depozitul extern

Expediem în 10-18 zile

500.07 lei

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

Informații despre carte

Autor

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

Limbă

engleză

Legare

Carte - Copertă tare

Publicat

2003

Pagini

363

EAN

9781402074981

Enbook ID

01418019

Editura

Springer, Berlin

Greutate

785

Dimensiuni

164 x 242 x 26

Descriere completă

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.

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Assertion-Based Design

Informații despre carte

Descriere completă

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și