Dynamic Modeling and Kinematics Verification for Quadruped Robot | Synapse