Functional Verification with a Scale Model for Movable Type Power Assist System