Formal Verification (ePub)

Name: Formal Verification
Brand: Elsevier Science & Techn.
SKU: 70030918
Price: 71.95 EUR
Availability: OnlineOnly

An Essential Toolkit for Modern VLSI Design (Sprache: Englisch)

Autoren: Erik Seligman , Tom Schubert , M V Achutha Kiran Kumar

Schreiben Sie einen Kommentar zu "Formal Verification".

Formal Verification, Erik Seligman, Tom Schubert, M V Achutha Kiran Kumar

Merken

Formal Verification: An Essential Toolkit for Modern VLSI Design presents practical approaches for design and validation, with hands-on advice to help working engineers integrate these techniques into their work. Formal Verification (FV) enables a designer...

Mehr zum Inhalt Autorenporträt Presse-Zitate Video

sofort als Download lieferbar

Bestellnummer: 70030918

eBook (ePub) 71.95 €

Download bestellen

Verschenken

35 DeutschlandCard Punkte sammeln

Lastschrift, Kreditkarte, Paypal, Rechnung
Kostenloser tolino webreader

Produktdetails

Produktbeschreibung
Autorenporträt
eBook Hilfe
Biblio. Angaben / Produktdetails
Download-DRM Infos
Pressezitat

Produktinformationen zu „Formal Verification (ePub)“

Formal Verification: An Essential Toolkit for Modern VLSI Design presents practical approaches for design and validation, with hands-on advice to help working engineers integrate these techniques into their work. Formal Verification (FV) enables a designer to directly analyze and mathematically explore the quality or other aspects of a Register Transfer Level (RTL) design without using simulations. This can reduce time spent validating designs and more quickly reach a final design for manufacturing. Building on a basic knowledge of SystemVerilog, this book demystifies FV and presents the practical applications that are bringing it into mainstream design and validation processes at Intel and other companies. After reading this book, readers will be prepared to introduce FV in their organization and effectively deploy FV techniques to increase design and validation productivity.

Learn formal verification algorithms to gain full coverage without exhaustive simulation
Understand formal verification tools and how they differ from simulation tools
Create instant test benches to gain insight into how models work and find initial bugs
Learn from Intel insiders sharing their hard-won knowledge and solutions to complex design problems

Autoren-Porträt von Erik Seligman, Tom Schubert, M V Achutha Kiran Kumar

Erik has worked at Intel Corporation in Hillsboro, Oregon for over two decades, in a variety of positions involving software, design, simulation, and formal verification. Currently he works in the Design Technology and Solutions division, where he supports formal verification usage for Intel teams worldwide. In his spare time he hosts the "Math Mutation¿ podcast, and serves as an elected director on the Hillsboro school board.

eBook Hilfe

Informationen und Hilfe zu eBooks hier klicken!

Bibliographische Angaben

Autoren: Erik Seligman , Tom Schubert , M V Achutha Kiran Kumar
2015, 408 Seiten, Englisch
Verlag: Elsevier Science & Techn.
ISBN-10: 0128008156
ISBN-13: 9780128008157
Erscheinungsdatum: 24.07.2015

Abhängig von Bildschirmgröße und eingestellter Schriftgröße kann die Seitenzahl auf Ihrem Lesegerät variieren.

eBook Informationen

Dateiformat: ePub
Größe: 4.52 MB
Mit Kopierschutz
Vorlesefunktion

Sprache:

Englisch

Kopierschutz

Dieses eBook können Sie uneingeschränkt auf allen Geräten der tolino Familie lesen. Zum Lesen auf sonstigen eReadern und am PC benötigen Sie eine Adobe ID.

Pressezitat

"...the authors thoroughly expressed their practical knowledge of this complex, and misunderstood topic, in an easy to read presentation...I strongly recommend this book to design and verification engineers who are contemplating, or are currently using formal verification..." --VerificationAcademy.com

Kommentar zu "Formal Verification"

Schreiben Sie einen Kommentar zu "Formal Verification".

Wie funktionieren Bewertungen?

0 Gebrauchte Artikel zu „Formal Verification“

Zustand	Preis	Porto	Zahlung	Verkäufer	Rating