Shahar Bar-Or Guy Even Yariv Levin Generation of representative input vectors for parametric designs: from low precision to high precision. 69-82 2003 36 Integration 1-2 http://dx.doi.org/10.1016/S0167-9260(03)00033-6 db/journals/integration/integration36.html#Bar-OrEL03