Computer hardware description languages and their applications :proceedings of the IFIP WG 10.2 Sixth International Symposium on Computer Hardware Description Languages and Their Applications, Pittsburgh, Pennsylvania, U.S.A., 23-25 May, 1983