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.
- EditorialSpringer
- Año de publicación1996
- ISBN 10 0792397460
- ISBN 13 9780792397465
- EncuadernaciónTapa dura
- IdiomaInglés
- Número de páginas564
- Contacto del fabricanteno disponible
EUR 30,71
EUR 18,32 gastos de envío desde Estados Unidos de America a España
Destinos, gastos y plazos de envíoComprar nuevo
Ver este artículo
EUR 66,21
GRATIS 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
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: 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
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
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: Romtrade Corp., STERLING HEIGHTS, MI, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. Nº de ref. del artículo: ABNR-144492
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: VeryGood. 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: 1LAUHV002YUX
Cantidad disponible: 1 disponibles
Imagen de archivo
Logic Synthesis And Verification Algorithms
Librería: Basi6 International, Irving, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Nº de ref. del artículo: ABEJUNE24-125496
Cantidad disponible: 1 disponibles
Imagen del vendedor
Logic Synthesis and Verification Algorithms
Librería: Zoom Books East, Glendale Heights, IL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: very_good. Book is in very good condition and may include minimal underlining highlighting. The book can also include "From the library of" labels. May not contain miscellaneous items toys, dvds, etc. . We offer 100% money back guarantee and 24 7 customer service. Nº de ref. del artículo: ZEV.0792397460.VG
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