Librería: PsychoBabel & Skoob Books, Didcot, Reino Unido
EUR 30,93
Convertir monedaCantidad disponible: 1 disponibles
Añadir al carritohardcover. Condición: Very Good. Estado de la sobrecubierta: 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.
Librería: Universitätsbuchhandlung Herta Hold GmbH, Berlin, Alemania
Original o primera edición
EUR 17,00
Convertir monedaCantidad disponible: 1 disponibles
Añadir al carrito1st 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.
Publicado por Morgan Kaufmann 2007-12-28, 2007
ISBN 10: 0123706165 ISBN 13: 9780123706164
Idioma: Inglés
Librería: Chiron Media, Wallingford, Reino Unido
EUR 63,49
Convertir monedaCantidad disponible: Más de 20 disponibles
Añadir al carritoHardcover. Condición: New.
EUR 75,33
Convertir monedaCantidad disponible: 3 disponibles
Añadir al carritoCondición: New. pp. viii + 240 Illus.
EUR 71,41
Convertir monedaCantidad disponible: 2 disponibles
Añadir al carritoHardcover. Condición: Brand New. 1st edition. 256 pages. 9.50x7.50x1.00 inches. In Stock.
Librería: Books Puddle, New York, NY, Estados Unidos de America
EUR 85,36
Convertir monedaCantidad disponible: 3 disponibles
Añadir al carritoCondición: New. pp. viii + 240.
Publicado por Elsevier Science & Technology, 2007
ISBN 10: 0123706165 ISBN 13: 9780123706164
Idioma: Inglés
Librería: THE SAINT BOOKSTORE, Southport, Reino Unido
EUR 77,96
Convertir monedaCantidad disponible: Más de 20 disponibles
Añadir al carritoHardback. Condición: New. New copy - Usually dispatched within 4 working days. 697.
Librería: Biblios, Frankfurt am main, HESSE, Alemania
EUR 86,06
Convertir monedaCantidad disponible: 3 disponibles
Añadir al carritoCondición: New. pp. viii + 240.
EUR 123,99
Convertir monedaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: Brand New. 250 pages. 9.25x7.50x0.57 inches. In Stock.
Librería: Mispah books, Redhill, SURRE, Reino Unido
EUR 126,77
Convertir monedaCantidad disponible: 1 disponibles
Añadir al carritoHardcover. Condición: Like New. Like New. book.
Librería: Brook Bookstore On Demand, Napoli, NA, Italia
EUR 71,92
Convertir monedaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: new. Questo è un articolo print on demand.
Publicado por Elsevier Science Nov 2007, 2007
ISBN 10: 0123706165 ISBN 13: 9780123706164
Idioma: Inglés
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
EUR 62,90
Convertir monedaCantidad disponible: 2 disponibles
Añadir al carritoBuch. Condición: 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.
Librería: AHA-BUCH GmbH, Einbeck, Alemania
EUR 68,71
Convertir monedaCantidad disponible: 2 disponibles
Añadir al carritoBuch. Condición: 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.