SYNTHESIZING HIGH-PERFORMANCE COMPLIANT STROKE AMPLIFICATION SYSTEMS FOR MEMS Category: Electronic Design, Modeling, and Synthesis Aids