Verwandte Artikel zu Logic Synthesis and Verification Algorithms
Inhaltsangabe
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.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
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.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
Neu kaufen
Diesen Artikel anzeigen
EUR 92,99
EUR 3,42 für den Versand innerhalb von/der USA
Versandziele, Kosten & DauerWeitere beliebte Ausgaben desselben Titels
Suchergebnisse für Logic Synthesis and Verification Algorithms
Beispielbild für diese ISBN
Logic Synthesis and Verification Algorithms
Anbieter: More Than Words, Waltham, MA, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: Very Good. . . All orders guaranteed and ship within 24 hours. Before placing your order for please contact us for confirmation on the book's binding. Check out our other listings to add to your order for discounted shipping. Bestandsnummer des Verkäufers WAL-I-1e-002933
Anzahl: 1 verfügbar
Foto des Verkäufers
Logic Synthesis and Verification Algorithms
Anbieter: Dream Books Co., Denver, CO, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: 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! Bestandsnummer des Verkäufers DBV.0792397460.G
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Logic Synthesis and Verification Algorithms
Anbieter: HPB-Red, Dallas, TX, USA
Verkäuferbewertung 5 von 5 Sternen
Hardcover. Zustand: 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! Bestandsnummer des Verkäufers S_429704697
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Logic Synthesis and Verification Algorithms
Anbieter: KuleliBooks, Phoenix, AZ, USA
Verkäuferbewertung 5 von 5 Sternen
hardcover. Zustand: 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. Bestandsnummer des Verkäufers 521PY6003YZX
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Logic Synthesis and Verification Algorithms
Anbieter: KuleliBooks, Phoenix, AZ, USA
Verkäuferbewertung 5 von 5 Sternen
hardcover. Zustand: Acceptable. Bestandsnummer des Verkäufers 521YH000143P
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Logic Synthesis and Verification Algorithms
Anbieter: Anybook.com, Lincoln, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: 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. Bestandsnummer des Verkäufers 5570224
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Logic Synthesis and Verification Algorithms
Anbieter: Books Puddle, New York, NY, USA
Verkäuferbewertung 4 von 5 Sternen
Zustand: New. pp. xxxii + 564. Bestandsnummer des Verkäufers 263157815
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Logic Synthesis and Verification Algorithms
Anbieter: GoldBooks, Denver, CO, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: new. Bestandsnummer des Verkäufers 79F98_86_0792397460
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Logic Synthesis and Verification Algorithms
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. pp. xxxii + 564. Bestandsnummer des Verkäufers 4690152
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Logic Synthesis and Verification Algorithms
Anbieter: Biblios, Frankfurt am main, HESSE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. pp. xxxii + 564. Bestandsnummer des Verkäufers 183157821
Anzahl: 1 verfügbar