Sinossi
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.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Recensione
"By combining its three authors' extensive experience in engineering, applying, and standardizing assertions, this book provides a solid foundation for assertion-based logic design quality and productivity. It is mandatory reading by all computing product design teams. Teams that don't read and apply the assertion-based design ideas in this book will flunk out of the competition."
(Lionel Bening, Hewlett-Packard - Co-Author of "Principles of Verifiable RTL Design")
Product Description
Book by Foster Harry D Krolnik Adam C Lacey David J
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Altre edizioni note dello stesso titolo
Risultati della ricerca per Assertion-Based Design
Foto dell'editore
Assertion-Based Design
Editore:
Kluwer Academic Publishers, U.S.A., 2003
ISBN 10: 1402074980
ISBN 13: 9781402074981
Antico o usato
Rilegato
Da: ABOXABOOKS, Bristol, VT, U.S.A.
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: Good. No jacket. Moderate edge wear on covers. Otherwise in very good condition. Codice articolo 009813
Compra usato
EUR 30,97
Spese di spedizione:
EUR 4,72
In U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Assertion-Based Design
Da: HPB-Red, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority! Codice articolo S_421466944
Compra usato
EUR 65,43
Spese di spedizione:
EUR 3,22
In U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Assertion-Based Design
Da: thebookforest.com, San Rafael, CA, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: Very Good. Supporting Bay Area Friends of the Library since 2010. Well packaged and promptly shipped. Codice articolo BAY_19_SH_060640
Compra usato
EUR 65,43
Spese di spedizione:
EUR 3,43
In U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Assertion-Based Design
Da: Sunshine State Books, Lithia, FL, U.S.A.
Valutazione del venditore 4 su 5 stelle
hardcover. Condizione: As New. Hardback--no flaws. Codice articolo VE250802003M5
Compra usato
EUR 68,99
Spese di spedizione:
EUR 5,85
In U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Assertion-Based Design
Print on DemandDa: THE SAINT BOOKSTORE, Southport, Regno Unito
Valutazione del venditore 5 su 5 stelle
Hardback. Condizione: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 815. Codice articolo C9781402074981
Compra nuovo
EUR 108,20
Spese di spedizione:
EUR 21,64
Da: Regno Unito a: U.S.A.
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Assertion-Based Design
Da: moluna, Greven, Germania
Valutazione del venditore 4 su 5 stelle
Condizione: New. 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 yo. Codice articolo 902390573
Compra nuovo
EUR 103,03
Spese di spedizione:
EUR 48,99
Da: Germania a: U.S.A.
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Assertion-Based Design
Print on DemandDa: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Valutazione del venditore 5 su 5 stelle
Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 388 pp. Englisch. Codice articolo 9781402074981
Compra nuovo
EUR 142,31
Spese di spedizione:
EUR 23,00
Da: Germania a: U.S.A.
Quantità: 2 disponibili
Foto dell'editore
Assertion-Based Design
Da: Mispah books, Redhill, SURRE, Regno Unito
Valutazione del venditore 4 su 5 stelle
Hardcover. Condizione: Like New. Like New. book. Codice articolo ERICA75714020749805
Compra usato
EUR 146,21
Spese di spedizione:
EUR 28,62
Da: Regno Unito a: U.S.A.
Quantità: 1 disponibili
Immagini fornite dal venditore
Assertion-Based Design
Da: AHA-BUCH GmbH, Einbeck, Germania
Valutazione del venditore 5 su 5 stelle
Buch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. Codice articolo 9781402074981
Compra nuovo
EUR 127,29
Spese di spedizione:
EUR 63,73
Da: Germania a: U.S.A.
Quantità: 2 disponibili