Main Vlsi Design Methods: International Workshop Proceedings
Vlsi Design Methods: International Workshop Proceedings cover

Vlsi Design Methods: International Workshop Proceedings

4.0 / 5.0
0 comments
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.
Request Code : ZLIBIO339603
Categories:
Volume:
vol 2
Year:
1990
Publisher:
Elsevier Science Ltd
Language:
English
Pages:
423
ISBN 10:
0444886893
ISBN 13:
9780444886897
ISBN:
0444886893,9780444886897

Comments of this book

There are no comments yet.