Taal: | en |
Bindwijze: | Paperback |
Oorspronkelijke releasedatum: | 18 oktober 2020 |
Aantal pagina's: | 507 |
Illustraties: | Nee |
Hoofdauteur: | Ashok B. Mehta |
Tweede Auteur: | Mehta, Ashok B |
Tweede Auteur: | Mehta, Ashok B |
Editie: | 3 |
Product breedte: | 155 mm |
Product lengte: | 235 mm |
Studieboek: | Ja |
Verpakking breedte: | 155 mm |
Verpakking hoogte: | 235 mm |
Verpakking lengte: | 235 mm |
Verpakkingsgewicht: | 831 g |
Editie: | 3 |
Product breedte: | 155 mm |
Product lengte: | 235 mm |
Studieboek: | Ja |
Verpakking breedte: | 155 mm |
Verpakking hoogte: | 235 mm |
Verpakking lengte: | 235 mm |
Verpakkingsgewicht: | 831 g |
This updated third edition addresses the latest functional set released in IEEE-1800 (2012) LRM, including numerous additional operators and features. Additionally, many of the Concurrent Assertions/Operators explanations are enhanced, with the addition of more examples and figures.
· Covers in its entirety the latest IEEE-1800 2012 LRM syntax and semantics;
· Covers both SystemVerilog Assertions and SystemVerilog Functional Coverage languages and methodologies;
· Provides practical applications of the what, how and why of Assertion Based Verification and Functional Coverage methodologies;
· Explains each concept in a step-by-step fashion and applies it to a practical real life example;
· Includes 6 practical LABs that enable readers to put in practice the concepts explained in the book.