Vlsi Design Methods (Very Large Scale Integration Design Methods: International Workshop Proceedings) - Hardcover
Inhaltsangabe
Functional and behavioral verification of correctness forms the bottleneck in current VLSI design systems. For economical reasons, design of VLSI circuits must be completely validated before manufacturing. Current VLSI validation is mainly done through extensive simulation. The emerging alternative is based on formal design and verification methods that guarantee correctness. This book describes original work in all aspects of formal hardware design methods. Topics covered include high-level specification, hardware description languages, formal hardware verification methods, guided synthesis methods, correctness preserving transformations, use of theorem provers for verification, formal proof of correctness, MOS timing verification methods, design for verifiability, and practical experiences.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Weitere beliebte Ausgaben desselben Titels
Suchergebnisse für Vlsi Design Methods (Very Large Scale Integration Design...
Beispielbild für diese ISBN
Formal VLSI Specification and Synthesis: VLSI Design Methods (2 Volume Set)
Verlag:
Elsevier Science Publishers, 1990
ISBN 10: 0444886893
ISBN 13: 9780444886897
Gebraucht
Hardcover
Anbieter: Crossroad Books, Eau Claire, WI, USA
Verkäuferbewertung 5 von 5 Sternen
Hardcover. Zustand: with no dust jacket. Zustand des Schutzumschlags: No Dust Jacket. Two Volume Set. Ex-Corporate Library copy; with typical markings. Library label on front board and on spine tail. Spine twists. Pages clean, but for library markings. This is a fairly heavy set; Priority and/or International may require shipping over and above standard costs. ; TEH22A; Ex-Library. Bestandsnummer des Verkäufers 57066
Gebraucht kaufen
EUR 23,74
EUR 4,70 shipping
Versand innerhalb von USA
Versand innerhalb von USA
Anzahl: 1 verfügbar