Vitalsource Technologies, Inc. Reversible Logic Synthesis