Artículos relacionados a Logic Synthesis and Verification Algorithms
Sinopsis
Logic Synthesis and Verification Algorithms is a textbook designed for courses on VLSI Logic Synthesis and Verification, Design Automation, CAD and advanced level discrete mathematics. It also serves as a basic reference work in design automation for both professionals and students.
Logic Synthesis and Verification Algorithms is about the theoretical underpinnings of VLSI (Very Large Scale Integrated Circuits). It combines and integrates modern developments in logic synthesis and formal verification with the more traditional matter of Switching and Finite Automata Theory. The book also provides background material on Boolean algebra and discrete mathematics.
A unique feature of this text is the large collection of solved problems.
Throughout the text the algorithms covered are the subject of one or more problems based on the use of available synthesis programs.
"Sinopsis" puede pertenecer a otra edición de este libro.
Reseña del editor
Logic Synthesis and Verification Algorithms is a textbook designed for courses on VLSI Logic Synthesis and Verification, Design Automation, CAD and advanced level discrete mathematics. It also serves as a basic reference work in design automation for both professionals and students.
Logic Synthesis and Verification Algorithms is about the theoretical underpinnings of VLSI (Very Large Scale Integrated Circuits). It combines and integrates modern developments in logic synthesis and formal verification with the more traditional matter of Switching and Finite Automata Theory. The book also provides background material on Boolean algebra and discrete mathematics.
A unique feature of this text is the large collection of solved problems.
Throughout the text the algorithms covered are the subject of one or more problems based on the use of available synthesis programs.
"Sobre este título" puede pertenecer a otra edición de este libro.
Comprar nuevo
Ver este artículo
EUR 81,85
EUR 3,65 gastos de envío en Estados Unidos de America
Destinos, gastos y plazos de envíoOtras ediciones populares con el mismo título
Resultados de la búsqueda para Logic Synthesis and Verification Algorithms
Imagen del vendedor
Logic Synthesis and Verification Algorithms
Librería: Dream Books Co., Denver, CO, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: good. Gently used with minimal wear on the corners and cover. A few pages may contain light highlighting or writing, but the text remains fully legible. Dust jacket may be missing, and supplemental materials like CDs or codes may not be included. May be ex-library with library markings. Ships promptly! Nº de ref. del artículo: DBV.0792397460.G
Cantidad disponible: 1 disponibles
Imagen de archivo
Logic Synthesis and Verification Algorithms
Librería: HPB-Red, Dallas, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Hardcover. Condición: 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! Nº de ref. del artículo: S_429704697
Cantidad disponible: 1 disponibles
Imagen del vendedor
Logic Synthesis and Verification Algorithms
Librería: Goodwill Books, Hillsboro, OR, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: acceptable. Fairly worn, but readable and intact. If applicable: Dust jacket, disc or access code may not be included. Nº de ref. del artículo: GICWV.0792397460.A
Cantidad disponible: 1 disponibles
Imagen del vendedor
Logic Synthesis and Verification Algorithms
Librería: Goodwill of Silicon Valley, SAN JOSE, CA, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
Condición: good. Supports Goodwill of Silicon Valley job training programs. The cover and pages are in Good condition! Any other included accessories are also in Good condition showing use. Use can include some highlighting and writing, page and cover creases as well as other types visible wear. Nº de ref. del artículo: GWSVV.0792397460.G
Cantidad disponible: 1 disponibles
Imagen de archivo
Logic Synthesis and Verification Algorithms
Librería: KuleliBooks, Phoenix, AZ, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
hardcover. Condición: Good. The book may have minor cosmetic wear (i.e. creased spine/cover, scratches, curled corners, folded pages, minor sunburn, minor water damage, minor bent). The book may have some highlights/notes/underlined pages - Accessories such as CD, codes, toys, may not be included - Safe and Secure Mailer - No Hassle Return. Nº de ref. del artículo: 521PY6003YZX
Cantidad disponible: 1 disponibles
Imagen de archivo
Logic Synthesis and Verification Algorithms
Librería: KuleliBooks, Phoenix, AZ, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
hardcover. Condición: Acceptable. Nº de ref. del artículo: 521YH000143P
Cantidad disponible: 1 disponibles
Imagen de archivo
Logic Synthesis and Verification Algorithms
Publicado por
Kluwer Academic, 1996
ISBN 10: 0792397460
ISBN 13: 9780792397465
Antiguo o usado
Tapa dura
Librería: Anybook.com, Lincoln, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: Good. This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. In good all round condition. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,1400grams, ISBN:9780792397465. Nº de ref. del artículo: 5570224
Gastos de envío:
EUR 14,82
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío
Cantidad disponible: 1 disponibles
Imagen de archivo
Logic Synthesis and Verification Algorithms
Librería: thebookforest.com, San Rafael, CA, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: Very Good. Text block firm and clean, binding unblemished, boards straight, without highlights or underlining. Without any discs, access codes or extra items. Very clean, very nice example. Supporting Bay Area Friends of the Library since 2010. Well packaged and promptly shipped. Nº de ref. del artículo: BAY_18_SH_010489
Cantidad disponible: 1 disponibles
Imagen de archivo
Logic Synthesis and Verification Algorithms
Librería: GoldBooks, Denver, CO, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: new. Nº de ref. del artículo: 79F98_86_0792397460
Cantidad disponible: 1 disponibles
Imagen de archivo
Logic Synthesis and Verification Algorithms
Librería: Books Puddle, New York, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
Condición: New. pp. xxxii + 564. Nº de ref. del artículo: 263157815
Cantidad disponible: 1 disponibles