Items related to From HDL descriptions to guaranteed correct circuit...
From HDL descriptions to guaranteed correct circuit designs: Proceedings of the IFIP WG 10.2 Working Conference on from HDL Descriptions to Guaranteed ... Grenoble, France, 9-11 September, 1986 - Hardcover
Synopsis
The objective of this book is to bring together the knowledge of developers and users of design automation tools, and compare the methods and algorithms by which correct circuit designs may be obtained from initial descriptions and specifications written in an appropriate hardware description language (HDL). In order to achieve the goal of designing correct circuits, two main directions of research are currently being pursued: formal verification of a (possibly manual) design, and automatic synthesis. Both approaches require that a high level specification of the circuit be given in a formal language, and an underlying model of hardware behaviour is necessary to allow for symbolic translations that preserve or verify some notion of correctness. Hardware models, formal proof of correctness, and synthesis are therefore the three key elements making up this volume.
"synopsis" may belong to another edition of this title.
- PublisherAmsterdam North-Holland
- Publication date1987
- ISBN 10 044470194X
- ISBN 13 9780444701947
- BindingHardcover
- LanguageEnglish
- Number of pages302
(No Available Copies)
Search Books: Create a WantCan't find the book you're looking for? We'll keep searching for you. If one of our booksellers adds it to AbeBooks, we'll let you know!
Create a Want