Enviar aquest missatge de text: Advanced Techniques for Assertion-Based Verification in Hardware Designs Using Data Mining Algorithms