Assertion-Based Design

Inbunden, Engelska, 2004

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

2 009 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

Finns i fler format (3)

Inbunden

1 099 kr

Skickas inom 10-15 vardagar

Häftad

2 009 kr

Skickas inom 10-15 vardagar

Häftad

689 kr

Skickas inom 10-15 vardagar

The focus of Assertion-Based Design, Second Edition is three-fold: To support these three over-arching goals, we showcase multiple forms of assertion specifications: Accellera Open Verification Library (OVL), Accellera Property Specification Language (PSL), and Accellera System Verilog. The recommendations and claims we make in this book are based on our combined actual experiences in applying an assertion-based methodology to real design and verification as well as our work in developing industry assertion standards. Differences between the first edition and the second edition include:

Produktinformation

Utgivningsdatum2004-05-19
Mått155 x 235 x 28 mm
Vikt793 g
FormatInbunden
SpråkEngelska
Antal sidor390
Upplaga2
FörlagSpringer-Verlag New York Inc.
ISBN9781402080272

Tillhör följande kategorier

Systemvetenskap och AI inom Data och it
Energiteknik inom Naturvetenskap och teknik
Elektronik och kommunikationer inom Naturvetenskap och teknik
CAD-program inom Data och it

"David Lacey, Harry and Adam are key participants on the Acceller SystemVerilog Standards Group. Their practical verification experience has contributed to the value of the assertion enhancements added to the SystemVerilog standard. These three verification specialists have written a book that will endow the reader with an understanding of the fundamental and important topics needed to comprehend and implement assertion based design. This book is a must for all design and verification engineers." (Cliff Cummings, Verilog Guru & President, Sunburst Design, Inc.)