Computer hardware description languages and their applications: proceedings of the IFIP WG 10.2 Eighth International Conference on Computer Hardware Description Languages and Their Applications, Amsterdam, the Netherlands, 27-29 April, 1987

Front Cover
North-Holland, 1987 - Computers - 405 pages
0 Reviews
The symposium on which this book is based has become established as the focal point for the meeting of experts in the field of formal descriptions of hardware and their use in analysis and synthesis of digital systems. The papers 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.

From inside the book

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

SIMULATION
1
Hardware Description and Simulation Using Concurrent Prolog
9
Programspecific and Architecturespecific Simulators
29
Copyright

24 other sections not shown

Common terms and phrases

Bibliographic information