Delivery included to the United States

Computer Hardware Description Languages and Their Applications

Computer Hardware Description Languages and Their Applications Proceedings of the IFIP WG 10.2 Seventh International Conference on Computer Hardware Description Languages and Their Applications : Tokyo, Japan, 29-31 August, 1985

Book (28 Feb 1986)

Not available for sale

Out of stock

This service is protected by reCAPTCHA and the Google Privacy Policy and Terms of Service apply.

Publisher's 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.

Book information

ISBN: 9780444878267
Publisher: North-Holland
Imprint: North-Holland
Pub date:
DEWEY: 621.3819583
DEWEY edition: 18
Language: English
Number of pages: 493
Weight: -1g
Height: 230mm
Width: 150mm