paperback. Condizione: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority!
Paperback. Condizione: Good. Book contains highlighting from previous owner. Book contains markings and notes from previous owner. - Good overall condition. General wear. No major blemishes.; - We're committed to your satisfaction. We offer free returns and respond promptly to all inquiries. Your item will be carefully wrapped in bubble wrap and securely boxed. All orders ship on the same or next business day. Buy with confidence.
Editore: Elsevier Science & Technology, 2023
ISBN 10: 0323956122 ISBN 13: 9780323956123
Lingua: Inglese
Da: TextbookRush, Grandview Heights, OH, U.S.A.
Condizione: Brand New. Ships SAME or NEXT business day. We Ship to APO/FPO addr. Choose EXPEDITED shipping and receive in 2-5 business days within the United States. See our member profile for customer support contact info. We have an easy return policy.
Da: GreatBookPrices, Columbia, MD, U.S.A.
Condizione: New.
Da: Majestic Books, Hounslow, Regno Unito
EUR 104,00
Quantità: 3 disponibili
Aggiungi al carrelloCondizione: New.
Da: GreatBookPrices, Columbia, MD, U.S.A.
Condizione: As New. Unread book in perfect condition.
Da: GreatBookPricesUK, Woodford Green, Regno Unito
EUR 96,11
Quantità: 1 disponibili
Aggiungi al carrelloCondizione: New.
Da: Books Puddle, New York, NY, U.S.A.
Condizione: New.
Da: Revaluation Books, Exeter, Regno Unito
EUR 101,91
Quantità: 2 disponibili
Aggiungi al carrelloPaperback. Condizione: Brand New. 2nd edition. 508 pages. 9.25x7.50x0.59 inches. In Stock.
Da: Ria Christie Collections, Uxbridge, Regno Unito
EUR 102,69
Quantità: 2 disponibili
Aggiungi al carrelloCondizione: New. In.
Da: Chiron Media, Wallingford, Regno Unito
EUR 99,88
Quantità: 2 disponibili
Aggiungi al carrelloPaperback. Condizione: New.
Editore: Elsevier Science & Technology, 2023
ISBN 10: 0323956122 ISBN 13: 9780323956123
Lingua: Inglese
Da: THE SAINT BOOKSTORE, Southport, Regno Unito
EUR 111,57
Quantità: Più di 20 disponibili
Aggiungi al carrelloPaperback / softback. Condizione: New. New copy - Usually dispatched within 4 working days. 222.
Da: GreatBookPricesUK, Woodford Green, Regno Unito
EUR 110,43
Quantità: 1 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
Da: Biblios, Frankfurt am main, HESSE, Germania
EUR 117,03
Quantità: 3 disponibili
Aggiungi al carrelloCondizione: New.
Editore: Elsevier Science & Technology, 2023
ISBN 10: 0323956122 ISBN 13: 9780323956123
Lingua: Inglese
Da: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
EUR 118,36
Quantità: 2 disponibili
Aggiungi al carrelloCondizione: New. 2023. 2nd Edition. Paperback. . . . . .
Da: Russell Books, Victoria, BC, Canada
EUR 129,88
Quantità: 2 disponibili
Aggiungi al carrellopaperback. Condizione: New. 2nd Edition. Special order direct from the distributor.
Editore: Elsevier Science & Technology, 2023
ISBN 10: 0323956122 ISBN 13: 9780323956123
Lingua: Inglese
Da: Kennys Bookstore, Olney, MD, U.S.A.
Condizione: New. 2023. 2nd Edition. Paperback. . . . . . Books ship from the US and Ireland.
Editore: Elsevier Science & Technology, 2023
ISBN 10: 0323956122 ISBN 13: 9780323956123
Lingua: Inglese
Da: moluna, Greven, Germania
EUR 112,10
Quantità: 2 disponibili
Aggiungi al carrelloCondizione: New. Über den AutorErik 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 .
EUR 91,25
Quantità: 5 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Formal Verification | An Essential Toolkit for Modern VLSI Design | Erik Seligman (u. a.) | Taschenbuch | Englisch | Morgan Kaufmann | EAN 9780128007273 | Verantwortliche Person für die EU: preigu GmbH & Co. KG, Lengericher Landstr. 19, 49078 Osnabrück, mail[at]preigu[dot]de | Anbieter: preigu.
Da: Revaluation Books, Exeter, Regno Unito
EUR 155,03
Quantità: 2 disponibili
Aggiungi al carrelloPaperback. Condizione: Brand New. 2nd edition. 508 pages. 9.25x7.50x0.59 inches. In Stock.
Editore: Elsevier Science & Technology Mai 2023, 2023
ISBN 10: 0323956122 ISBN 13: 9780323956123
Lingua: Inglese
Da: AHA-BUCH GmbH, Einbeck, Germania
EUR 115,69
Quantità: 2 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Neuware - 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 (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.
Editore: Elsevier Science & Technology, 2023
ISBN 10: 0323956122 ISBN 13: 9780323956123
Lingua: Inglese
Da: preigu, Osnabrück, Germania
EUR 125,00
Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Formal Verification | An Essential Toolkit for Modern VLSI Design | Erik Seligman (u. a.) | Taschenbuch | Einband - flex.(Paperback) | Englisch | 2023 | Elsevier Science & Technology | EAN 9780323956123 | Verantwortliche Person für die EU: Libri GmbH, Europaallee 1, 36244 Bad Hersfeld, gpsr[at]libri[dot]de | Anbieter: preigu.
Da: Brook Bookstore On Demand, Napoli, NA, Italia
EUR 91,55
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: new. Questo è un articolo print on demand.
Da: AHA-BUCH GmbH, Einbeck, Germania
EUR 107,48
Quantità: 2 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - 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.