Computer Hardware Description Languages and Their Applications : Proceedings of the IFIP WG10.2 Eighth International Conference, Amsterdam, the Netherlands, 27-29 April, 1987

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.Barbacci, M. R. is the author of 'Computer Hardware Description Languages and Their Applications : Proceedings of the IFIP WG10.2 Eighth International Conference, Amsterdam, the Netherlands, 27-29 April, 1987', published 1987 under ISBN 9780444702357 and ISBN 0444702350.