From HDL descriptions to guaranteed correct circuit designs : proceedings of the IFIP WG 10.2 Working Conference on From HDL Descriptions to Guaranteed Correct Circuit Designs Grenoble, France, 9-11 S. ISBN 044470194X. Published by North-Holland in 1987. Publication and catalogue information, links to buy online and reader comments.