Text this: From HDL descriptions to guaranteed correct circuit designs :