Email Record: From HDL descriptions to guaranteed correct circuit designs :