Formal Verification
An Essential Toolkit for Modern VLSI Design
(Sprache: Englisch)
Leider schon ausverkauft
versandkostenfrei
Buch (Kartoniert)
109.50 €
Produktdetails
Produktinformationen zu „Formal Verification “
Autoren-Porträt von Erik Seligman, Tom Schubert, M. V. Achutha Kiran Kumar
Erik Seligman is currently a Senior Product Engineering Architect at Cadence Design Systems, where he helps to plan and support the Jasper Formal Verification tool suite. Previously he worked at Intel Corporation in Hillsboro, Oregon for over two decades, in a variety of positions involving software, design, simulation, and formal verification. In his spare time he hosts the ¿Math Mutation” podcast, and has served as an elected director on the Hillsboro school board.
Bibliographische Angaben
- Autoren: Erik Seligman , Tom Schubert , M. V. Achutha Kiran Kumar
- 2023, 2nd Edition, 508 Seiten, Kartoniert (TB), Englisch
- Verlag: Elsevier LTD, Oxford
- ISBN-10: 0323956122
- ISBN-13: 9780323956123
Sprache:
Englisch
Kommentar zu "Formal Verification"
0 Gebrauchte Artikel zu „Formal Verification“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Formal Verification".
Kommentar verfassen