Author: IFIP WG 10.2 Working Conference on from HDL Descriptions to Guaranteed Correct Circuit Designs (1986 Grenoble, France)