Logic Synthesis and Verification Algorithms
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 algebr…
Mehr
CHF 115.00
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
V103:
Folgt in ca. 5 Arbeitstagen
Produktdetails
Weitere Autoren: Somenzi, Fabio
- ISBN: 978-1-4757-7036-0
- EAN: 9781475770360
- Produktnummer: 15406861
- Verlag: Springer Us
- Sprache: Englisch
- Erscheinungsjahr: 2013
- Seitenangabe: 600 S.
- Masse: H25.4 cm x B17.8 cm x D3.2 cm 1'112 g
- Auflage: Softcover reprint of the original 1st ed. 1996
- Abbildungen: Paperback
- Gewicht: 1112
7 weitere Werke von Gary D. Hachtel:
Bewertungen
Anmelden