It can be expected that the tolerances of the parts are assigned systematically and thus the parts are designed considering the assemblability in advance in the design stage, if the tolerances can be stored together with the geometric model of the parts and the assemblability of the parts is verified in the computer. In other words, an example of the concurrent engineering is realized. To verify the concepts described above, a new method is proposed to verify the assemblability when the tolerance information and the geometric model of the parts of an assembly are given. This method determines the assemblability by subdividing the range of relative motion between parts until the subdivided region corresponding to free of interference can be found.