This textbook is 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. This book 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.
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.
Librería: Goodwill Books, Hillsboro, OR, Estados Unidos de America
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
Librería: thebookforest.com, San Rafael, CA, Estados Unidos de America
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
Librería: Romtrade Corp., STERLING HEIGHTS, MI, Estados Unidos de America
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
Cantidad disponible: 1 disponibles
Librería: Basi6 International, Irving, TX, Estados Unidos de America
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
Cantidad disponible: 1 disponibles
Librería: A Squared Books (Don Dewhirst), South Lyon, MI, Estados Unidos de America
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
Cantidad disponible: 1 disponibles
Librería: Books Puddle, New York, NY, Estados Unidos de America
Condición: New. pp. xxxii + 564. Nº de ref. del artículo: 263157815
Cantidad disponible: 1 disponibles
Librería: Majestic Books, Hounslow, Reino Unido
Condición: New. pp. xxxii + 564. Nº de ref. del artículo: 4690152
Cantidad disponible: 1 disponibles
Librería: Biblios, Frankfurt am main, HESSE, Alemania
Condición: New. pp. xxxii + 564. Nº de ref. del artículo: 183157821
Cantidad disponible: 1 disponibles
Librería: Grand Eagle Retail, Bensenville, IL, Estados Unidos de America
Hardcover. Condición: new. Hardcover. This textbook is 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. This book 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. 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. Logic Synthesis and Verification Algorithms is about the theoretical underpinnings of VLSI (Very Large Scale Integrated Circuits). Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Nº de ref. del artículo: 9780792397465
Cantidad disponible: 1 disponibles
Librería: GoldBooks, Denver, CO, Estados Unidos de America
Hardcover. Condición: new. New Copy. Customer Service Guaranteed. Nº de ref. del artículo: 79F98_86_0792397460
Cantidad disponible: 1 disponibles