Generation of representative input vectors for parametric designs: from low precision to high precision. - Shahar Bar-Or; Guy Even; Yariv Levin (Integr., 2003)