IC3-Evolve: Evolución heurística impulsada por el LLM fuera de línea con pruebas/testigos para la verificación de modelos de hardware IC3
IC3-Evolve es una poderosa herramienta de verificación de modelos de hardware IC3, impulsada por la evolución heurística y LLM offline con pruebas, para garantizar la fiabilidad y precisión en el proceso de verificación.