IFIP WG 10.2 Working Conference on the Fusion of Hardware Design and Verification (1988 Glasgow, Scotland)