You are about to access our book library "From HDL descriptions to guaranteed correct circuit designs: Proceedings of the IFIP WG 10.2 Working Conference on from HDL Descriptions to Guaranteed ... Grenoble, France, 9-11 September, 1986 full version" .