Vitalsource Technologies, Inc. Finite State Machine Logic Synthesis For Complex Programmable Logic Dev