Computer Hardware Description Languages and Their Applications

Koomen, C. J.

ISBN 10: 0444878262 ISBN 13: 9780444878267

Published by Elsevier Science & Technology, 1985

Used Hardcover

From Mispah books, Redhill, SURRE, United Kingdom Seller rating 4 out of 5 stars

AbeBooks Seller since 15 April 2021

This specific item is no longer available.

View this seller's items Create a Want for similar items

View all copies of this book

About this Item

Dust Jacket may NOT BE INCLUDED.CDs may be missing. Seller Inventory # ERICA82704448782623

Report this item

Synopsis:

The papers of this seventh conference reflect the gradual shift from the original emphasis on the uses of language design to describe hardware, toward more formal techniques for specification and verification. This volume highlights the following topics: - Languages to specify and describe hardware design, to reason about timing and functional behaviour, and to support modelling and performance evaluation - Synthesis and verification of systems as means of support for the design process, and as a guarantee of design consistency and functional correctness - Tool Integration aspects such as the representation of design information, and the putting together of tools within a coherent design environment.

"About this title" may belong to another edition of this title.

Bibliographic Details

Title: Computer Hardware Description Languages and ...
Publisher: Elsevier Science & Technology
Publication Date: 1985
Binding: Hardcover
Condition: Very Good
Dust Jacket Condition: Dust Jacket Included
Book Type: book

Top Search Results from the AbeBooks Marketplace

Stock Image