Assertion-Based Design

Name: Assertion-Based Design
Brand: Springer, Berlin
SKU: 9781402074981
Price: 2187 CZK
Availability: InStock

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

Jazyk:

Vazba: Pevná

Vydavatel: Springer, Berlin

Dostupnost: Skladem u dodavatele

Odesíláme za 10-18 dnů

2 187 Kč

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

Informace o knize

Autor

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

Jazyk

Angličtina

Vazba

Kniha - Pevná

Vydáno

2003

Stránek

363

EAN

9781402074981

Enbook ID

01418019

Vydavatel

Springer, Berlin

Hmotnost

785

Rozměry

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 zajímat

Zákaznicí kteří koupili tuto knihu koupili také

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Assertion-Based Design

Informace o knize

Kompletní popis

Mohlo by vás zajímat

Zákaznicí kteří koupili tuto knihu koupili také