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 82,12
EUR 7,71 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: 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: Better World Books, Mishawaka, IN, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: Good. Former library book; may include library markings. Used book that is in clean, average condition without any missing pages. Bestandsnummer des Verkäufers 18211861-6
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: 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
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