SAT-Based Scalable Formal Verification Solutions by Vitalsource Technologies, Inc