Computer-aided design tools for micro-mechanisms that help designers validate correct function, detect design flaws, and assess the effects of part clearances. The domain characteristics of curved geometry, joint play, and ...