Anbieter: ThriftBooks-Dallas, Dallas, TX, USA
EUR 15,93
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: As New. No Jacket. Pages are clean and are not marred by notes or folds of any kind. ~ ThriftBooks: Read More, Spend Less 0.76.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 36,86
Währung umrechnenAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 42,51
Währung umrechnenAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 212 pages. 9.00x6.00x1.00 inches. In Stock.
Anbieter: Reuseabook, Gloucester, GLOS, Vereinigtes Königreich
EUR 67,11
Währung umrechnenAnzahl: 1 verfügbar
In den Warenkorbpaperback. Zustand: Used; Very Good. Dispatched, from the UK, within 48 hours of ordering. Though second-hand, the book is still in very good shape. Minimal signs of usage may include very minor creasing on the cover or on the spine.
EUR 101,96
Währung umrechnenAnzahl: 2 verfügbar
In den WarenkorbPAP. Zustand: New. New Book. Shipped from UK. Established seller since 2000.
Verlag: Elsevier Science & Technology, 2023
ISBN 10: 0323956122 ISBN 13: 9780323956123
Sprache: Englisch
Anbieter: moluna, Greven, Deutschland
EUR 112,10
Währung umrechnenAnzahl: 2 verfügbar
In den WarenkorbZustand: 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 .
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 111,43
Währung umrechnenAnzahl: 2 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 106,85
Währung umrechnenAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 2nd edition. 508 pages. 9.25x7.50x0.59 inches. In Stock.
Verlag: Elsevier Science & Technology Mai 2023, 2023
ISBN 10: 0323956122 ISBN 13: 9780323956123
Sprache: Englisch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
EUR 115,69
Währung umrechnenAnzahl: 2 verfügbar
In den WarenkorbTaschenbuch. Zustand: 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.
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 122,11
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 408 pages. 9.00x7.50x1.00 inches. In Stock.
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 159,31
Währung umrechnenAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 2nd edition. 508 pages. 9.25x7.50x0.59 inches. In Stock.