Text this: SAT-Based Scalable Formal Verification Solutions