Fortell venner om denne varen:
SVA: The Power of Assertions in SystemVerilog Softcover reprint of the original 2nd ed. 2015 edition
Eduard Cerny
Pris
CA$ 171,49
Bestillingsvarer
Forventes levert 6. - 14. aug
Legg til iMusic ønskeliste
Eller
Finnes også som:
SVA: The Power of Assertions in SystemVerilog Softcover reprint of the original 2nd ed. 2015 edition
Eduard Cerny
This book is a comprehensive guide to assertion-based verification of hardware designs using System Verilog Assertions (SVA). The book makes SVA usable and accessible for hardware designers, verification engineers, formal verification specialists and EDA tool developers.
609 pages, 173 black & white illustrations, 25 black & white tables, biography
| Media | Bøker Pocketbok (Bok med mykt omslag og limt rygg) |
| Utgitt | 23. august 2016 |
| ISBN13 | 9783319331096 |
| Utgivere | Springer International Publishing AG |
| Antall sider | 590 |
| Mål | 155 × 235 × 31 mm · 843 g |
| Språk | Tysk |
![Cover for Eduard Cerny · Hierarchical Annotated Action Diagrams: An Interface-Oriented Specification and Verification Method (Pocketbok) [Softcover reprint of the original 1st ed. 1998 edition] (2012)](https://imusic.b-cdn.net/images/item/original/692/9781461375692.jpg?eduard-cerny-2012-hierarchical-annotated-action-diagrams-an-interface-oriented-specification-and-verification-method-pocketbok&class=scaled&v=1502873214)
![Cover for Eduard Cerny · Hierarchical Annotated Action Diagrams: An Interface-Oriented Specification and Verification Method (Innbunden bok) [Annotated edition] (1998)](https://imusic.b-cdn.net/images/item/original/017/9780792383017.jpg?eduard-cerny-1998-hierarchical-annotated-action-diagrams-an-interface-oriented-specification-and-verification-method-innbunden-bok&class=scaled&v=1410252428)