Design verification considering manufacturing tolerances by using worst-case distances | IEEE Conference Publication | IEEE Xplore