Illustration

Biographie et livres d'Erik Seligman

Découvrez tout l'univers de l'auteur en livre numérique
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.
Découvrez tous ses livres

Dernière parution

Téléchargez le livre : Formal Verification
Ajouter à ma liste d'envies
Formal Verification

M V Achutha Kiran Kumar , Erik Seligman , Tom Schubert

Morgan Kaufmann

2023-05-26

epub sans DRM

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

105,45 €

Lire plus

Tous les ebooks d'Erik Seligman en EPUB


2  résultat(s)
Télécharger le livre : Math Mutation Classics
Ajouter à ma liste d'envies

Math Mutation Classics

Erik Seligman

Use math in unique ways to analyze things you observe in life and use proof to attain the unexpected. There is quite a wide diversity of topics here and so all age levels and ability levels will enjoy the discussions. You'll see how the author's unique viewpoint puts a...

Parution : 2016-04-22
Format(s) : ePub
Éditeur : Apress
J'achète
26,61 €
Télécharger le livre : Formal Verification
Ajouter à ma liste d'envies

Formal Verification

M V Achutha Kiran Kumar , Erik Seligman , Tom Schubert

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...

Parution : 2015-07-24
Format(s) : epub sans DRM
Éditeur : Morgan Kaufmann
J'achète
75,91 €

Restez informé(e) des événements et promotions ebook

Paiements sécurisés

Paiements sécurisés