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,91
EUR 9,82 gastos de envío desde Estados Unidos de America a España
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 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
Cantidad disponible: 1 disponibles
Imagen de archivo
Logic Synthesis and Verification Algorithms
Librería: ThriftBooks-Dallas, Dallas, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Hardcover. Condición: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less 2.8. Nº de ref. del artículo: G0792397460I3N00
Cantidad disponible: 1 disponibles
Imagen de archivo
Logic Synthesis and Verification Algorithms
Librería: ThriftBooks-Atlanta, AUSTELL, GA, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Hardcover. Condición: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less 2.8. Nº de ref. del artículo: G0792397460I3N00
Cantidad disponible: 1 disponibles
Imagen de archivo
Logic Synthesis and Verification Algorithms
Librería: ThriftBooks-Dallas, Dallas, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Hardcover. Condición: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less 2.8. Nº de ref. del artículo: G0792397460I4N00
Cantidad disponible: 1 disponibles
Imagen de archivo
Logic Synthesis and Verification Algorithms
Librería: Better World Books, Mishawaka, IN, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: Good. Former library book; may include library markings. Used book that is in clean, average condition without any missing pages. Nº de ref. del artículo: 18211861-6
Cantidad disponible: 1 disponibles
Imagen de archivo
Logic Synthesis and Verification Algorithms
Publicado por
Springer US, 1996
ISBN 10: 0792397460
ISBN 13: 9780792397465
Antiguo o usado
Tapa dura
Librería: Buchpark, Trebbin, Alemania
Calificación del vendedor: 5 de 5 estrellas
Condición: Gut. Zustand: Gut | Seiten: 564 | Sprache: Englisch | Produktart: Bücher. Nº de ref. del artículo: 1357061/3
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
Imagen de archivo
Logic Synthesis and Verification Algorithms
Librería: Majestic Books, Hounslow, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. pp. xxxii + 564. Nº de ref. del artículo: 4690152
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 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