Text this: Advanced Techniques for Assertion-Based Verification in Hardware Designs Using Data Mining Algorithms