Books by IFIP WG 10.2 Working Conference on from HDL Descriptions to Guaranteed Correct Circuit Designs (1986 Grenoble, France) on BookTides.