Anbieter: PsychoBabel & Skoob Books, Didcot, Vereinigtes Königreich
EUR 30,70
Anzahl: 1 verfügbar
In den Warenkorbhardcover. Zustand: Very Good. Zustand des Schutzumschlags: No Dust Jacket. Name from previous owner on FEP. No dust jacket. Binding is very well preserved, pages are clean and crisp, and printing is tight, clean and bright throughout. MB. Used.
Anbieter: Universitätsbuchhandlung Herta Hold GmbH, Berlin, Deutschland
Erstausgabe
1st ed. 19 x 23 cm. 256 pages. HC Versand aus Deutschland / We dispatch from Germany via Air Mail. Einband bestoßen, daher Mängelexemplar gestempelt, sonst sehr guter Zustand. Imperfect copy due to slightly bumped cover, apart from this in very good condition. Stamped. Sprache: Englisch.
Verlag: Morgan Kaufmann 2007-12-28, 2007
ISBN 10: 0123706165 ISBN 13: 9780123706164
Sprache: Englisch
Anbieter: Chiron Media, Wallingford, Vereinigtes Königreich
EUR 63,03
Anzahl: Mehr als 20 verfügbar
In den WarenkorbHardcover. Zustand: New.
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
EUR 75,40
Anzahl: 3 verfügbar
In den WarenkorbZustand: New. pp. viii + 240 Illus.
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 70,88
Anzahl: 2 verfügbar
In den WarenkorbHardcover. Zustand: Brand New. 1st edition. 256 pages. 9.50x7.50x1.00 inches. In Stock.
Zustand: New. pp. viii + 240.
Verlag: Elsevier Science & Technology, 2007
ISBN 10: 0123706165 ISBN 13: 9780123706164
Sprache: Englisch
Anbieter: THE SAINT BOOKSTORE, Southport, Vereinigtes Königreich
EUR 77,39
Anzahl: Mehr als 20 verfügbar
In den WarenkorbHardback. Zustand: New. New copy - Usually dispatched within 4 working days. 697.
Anbieter: Biblios, Frankfurt am main, HESSE, Deutschland
Zustand: New. pp. viii + 240.
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 123,09
Anzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 250 pages. 9.25x7.50x0.57 inches. In Stock.
Anbieter: Mispah books, Redhill, SURRE, Vereinigtes Königreich
EUR 125,84
Anzahl: 1 verfügbar
In den WarenkorbHardcover. Zustand: Like New. Like New. book.
Anbieter: Brook Bookstore On Demand, Napoli, NA, Italien
EUR 71,92
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: new. Questo è un articolo print on demand.
Verlag: Elsevier Science Nov 2007, 2007
ISBN 10: 0123706165 ISBN 13: 9780123706164
Sprache: Englisch
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Buch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book will explain how to verify SoC (Systems on Chip) logic designs using 'formal? and 'semiformal? verification techniques. The critical issue to be addressed is whether the functionality of the design is the one that the designers intended. Simulation has been used for checking the correctness of SoC designs (as in 'functional? verification), but many subtle design errors cannot be caught by simulation. Recently, formal verification, giving mathematical proof of the correctness of designs, has been gaining popularity.For higher design productivity, it is essential to debug designs as early as possible, which this book facilitates. This book covers all aspects of high-level formal and semiformal verification techniques for system level designs. . First book that covers all aspects of formal and semiformal, high-level (higher than RTL) design verification targeting SoC designs. Formal verification of high-level designs (RTL or higher). Verification techniques are discussed with associated system-level design methodology. 256 pp. Englisch.
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Buch. Zustand: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - This book will explain how to verify SoC (Systems on Chip) logic designs using 'formal? and 'semiformal? verification techniques. The critical issue to be addressed is whether the functionality of the design is the one that the designers intended. Simulation has been used for checking the correctness of SoC designs (as in 'functional? verification), but many subtle design errors cannot be caught by simulation. Recently, formal verification, giving mathematical proof of the correctness of designs, has been gaining popularity.For higher design productivity, it is essential to debug designs as early as possible, which this book facilitates. This book covers all aspects of high-level formal and semiformal verification techniques for system level designs.