Computer Hardware Description Languages and Their Applications

Koomen, C. J.

ISBN 10: 0444878262 / ISBN 13: 9780444878267

Verlag: Elsevier Science & Technology, 1985

Beschreibung

Dust Jacket may NOT BE INCLUDED.CDs may be missing.

Bestandsnummer des Verkäufers ERICA82704448782623

Bibliografische Details

• Titel: Computer Hardware Description Languages and Their Applications
• Verlag: Elsevier Science & Technology
• Erscheinungsjahr: 1985
• Sprache: Englisch
• ISBN-10: 0444878262
• ISBN-13: 9780444878267
• Einband: Hardcover
• Zustand: Very Good
• Zustand des Schutzumschlags: Schutzumschlag
• Buchtyp: book

Über diesen Titel

Inhaltsangabe

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.