Text this: Symbolic simulation methods for industrial formal verification/