Automated verification technology using CAD data. - Moritoshi Ando; Hiroshi Oka; Hideo Okada; Yorihiro Sakashita; Nobumi Shibutani (Syst. Comput. Jpn., 1999)