IFIP WG 10.2 International Symposium on Computer Hardware Description Languages and Their Applications (6th 1983 Pittsburgh, Pa.)