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.
- VerlagSpringer
- Erscheinungsdatum1996
- ISBN 10 0792397460
- ISBN 13 9780792397465
- EinbandTapa dura
- SpracheEnglisch
- Anzahl der Seiten564
- Kontakt zum HerstellerNicht verfügbar
Neu kaufen
Diesen Artikel anzeigen
EUR 66,24
Gratis für den Versand von USA nach Deutschland
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: Buchpark, Trebbin, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: Gut. Zustand: Gut | Seiten: 564 | Sprache: Englisch | Produktart: Bücher. Bestandsnummer des Verkäufers 1357061/3
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Logic Synthesis and Verification Algorithms
Anbieter: ThriftBooks-Dallas, Dallas, TX, USA
Verkäuferbewertung 5 von 5 Sternen
Hardcover. Zustand: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less 2.8. Bestandsnummer des Verkäufers G0792397460I3N00
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Logic Synthesis and Verification Algorithms
Anbieter: ThriftBooks-Dallas, Dallas, TX, USA
Verkäuferbewertung 5 von 5 Sternen
Hardcover. Zustand: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less 2.8. Bestandsnummer des Verkäufers G0792397460I4N00
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Logic Synthesis and Verification Algorithms
Anbieter: ThriftBooks-Atlanta, AUSTELL, GA, USA
Verkäuferbewertung 5 von 5 Sternen
Hardcover. Zustand: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less 2.8. Bestandsnummer des Verkäufers G0792397460I3N00
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: Romtrade Corp., STERLING HEIGHTS, MI, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: 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. Bestandsnummer des Verkäufers ABNR-144492
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Logic Synthesis And Verification Algorithms
Anbieter: Basi6 International, Irving, TX, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Bestandsnummer des Verkäufers ABEJUNE24-125496
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Logic Synthesis and Verification Algorithms
Anbieter: thebookforest.com, San Rafael, CA, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: 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. Bestandsnummer des Verkäufers 1LAUHV002YUX
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: 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