Vlsi Design Methods - Couverture rigide

Couverture rigide

ISBN 10 : 0444886893 ISBN 13 : 9780444886897

Editeur : Elsevier Science Ltd, 1990

Synopsis

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.

Détails de l'édition

• Éditeur: Elsevier Science Ltd
• Date d'édition: 1990
• Langue: anglais
• ISBN 10: 0444886893
• ISBN 13: 9780444886897
• Reliure: Relié
• Nombre de pages: 430
• Éditeur: Claesen Luc J. M.
• Coordonnées du fabricant: non disponible
• Personne responsable: non disponible