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.
Otras 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: World of Books (was SecondSale), Montgomery, IL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: Good. Item in good condition. Textbooks may not include supplemental items i.e. CDs, access codes etc. Nº de ref. del artículo: 00106776552
Comprar usado
EUR 52,82
Gastos de envío gratis
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen del vendedor
Logic Synthesis and Verification Algorithms
Librería: Goodwill of Colorado, COLORADO SPRINGS, CO, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: good. All pages and cover are intact. Dust jacket included if applicable, though it may be missing on hardcover editions. Spine and cover may show minor signs of wear including scuff marks, curls or bends to corners as well as cosmetic blemishes including stickers. Pages may contain limited notes or highlighting. "From the library of" labels may be present. Shrink wrap, dust covers, or boxed set packaging may be missing. Bundled media e.g., CDs, DVDs, access codes may not be included. Nº de ref. del artículo: COLV.0792397460.G
Comprar usado
EUR 55,43
Gastos de envío gratis
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
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
Comprar usado
EUR 52,90
Envío por EUR 3,46
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
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: 4 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
Comprar usado
EUR 52,82
Envío por EUR 4,33
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
Logic Synthesis and Verification Algorithms
Librería: Better World Books: West, Reno, NV, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: Good. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good. Nº de ref. del artículo: 18211861-6
Comprar usado
EUR 69,40
Gastos de envío gratis
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
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: ABEOCT25-378548
Comprar nuevo
EUR 69,40
Gastos de envío gratis
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
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: ABBB-162914
Comprar nuevo
EUR 69,40
Gastos de envío gratis
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
Logic Synthesis and Verification Algorithms
Librería: A Squared Books (Don Dewhirst), South Lyon, MI, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
hardcover. Condición: Very Good. Estado de la sobrecubierta: Missing. 1996. Matte paper covers; corners worn with board peeking through lower corner, otherwise mild wear; 4to - over 9 3/4" to 12" tall; no jacket. Top edge of last 30 pages dented/creased; Interior is clean and unmarked; 564 pages. Additional shipping charges may be required due to the size and weight of book. Nº de ref. del artículo: SKU1179135
Comprar usado
EUR 64,85
Envío por EUR 5,63
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
Logic Synthesis and Verification Algorithms
Impresión bajo demandaLibrería: Basi6 International, Irving, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: Brand New. New. US edition. Print on demand title. Delivery takes 20-25 days. Excellent Customer Service. Nº de ref. del artículo: POD-265526
Comprar nuevo
EUR 91,65
Gastos de envío gratis
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: Más de 20 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: Used. pp. xxxii + 564. Nº de ref. del artículo: 263157815
Comprar usado
EUR 94,06
Envío por EUR 3,46
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 1 disponibles