An Environment for MEMS Design and Verification