Vitalsource Technologies, Inc. Logic Synthesis For Genetic Diseases