Items related to Computer Hardware Description Languages and Their Applicatio...
Synopsis
Hardbound. 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.
"synopsis" may belong to another edition of this title.
Search results for Computer Hardware Description Languages and Their Applicatio...
Stock Image
Computer Hardware Description Languages and Their Applications: I.F.I.P.International Conference Proceedings
Published by
North-Holland Publishing Company, Oxford, 1985
ISBN 10: 0444878262
ISBN 13: 9780444878267
Used
paperback
Seller: PsychoBabel & Skoob Books, Didcot, United Kingdom
Seller rating 5 out of 5 stars
paperback. Condition: Good. Dust Jacket Condition: No Dust Jacket. creasing to the cover and downt ehs spine, Seller Inventory # 053501
Quantity: 1 available
Stock Image
Computer Hardware Description Languages and Their Applications
Seller: GuthrieBooks, Spring Branch, TX, U.S.A.
Seller rating 5 out of 5 stars
Hardcover. Condition: Good. Ex-Library hardcover in good condition with the usual markings and attachments. Except for library markings, interior clean and unmarked. Tight binding. Seller Inventory # UTL50430
Quantity: 1 available