Computer Hardware Description Languages and Their Applications 1985: I.F.I.P.International Conference Proceedings (Computer Hardware Description ... I.F.I.P.International Conference Proceedings) - Hardcover

 
9780444878267: Computer Hardware Description Languages and Their Applications 1985: I.F.I.P.International Conference Proceedings (Computer Hardware Description ... I.F.I.P.International Conference Proceedings)
Hardcover
ISBN 10: 0444878262 ISBN 13: 9780444878267
Verlag: Elsevier Science Ltd, 1986

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Reseña del editor

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.

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Elsevier Science Ltd
Erscheinungsdatum
1986
Sprache
Englisch
ISBN 10 
0444878262
ISBN 13 
9780444878267
Einband
Tapa dura
Anzahl der Seiten
506
Herausgeber
Koomen C. J., Oka T.Moto-, Moto-Oka T.
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
Nicht verfügbar