From HDL descriptions to guaranteed correct circuit designs. - Borrione, Dominique