Kontakt
Wie einkaufen
Versand
Kaufberater
Formal Verification
Englisch
277 b
30 Tage für die Rückgabe der Ware
Das könnte Sie auch interessieren
/
Broschur
6.99
€
/
Puzzle
19.69
€
Formal Verification: An Essential Toolkit for Modern VLSI Design presents practical approaches for design and validation, with hands-on advice for working engineers integrating these techniques into their work.§§Building on a basic knowledge of System Verilog, this book demystifies FV and presents the practical applications that are bringing it into mainstream design and validation processes at Intel and other companies. The text prepares readers to effectively introduce FV in their organization and deploy FV techniques to increase design and validation productivity.§§Presents formal verification algorithms allowing users to gain full coverage without exhaustive simulation§Provides discussion of formal verification tools and how they differ from simulation tools§Teaches users how to glean insights into how models work to find initial bugs §Presents valuable information from an Intel insider who shares his hard-won knowledge and solutions to complex design problems
Informationen zum Buch
Englisch
Kategorie
Verschenken Sie dieses Buch noch heute
Es ist ganz einfach
1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefertHallo! Ich bin Libroamiko, dein Buchberater.
Wie kann ich dir helfen?