IC3-Evolve: Proof-/Witness-Gated Offline LLM-Driven Heuristic Evolution for IC3 Hardware Model Checking

Esta investigación presenta IC3-Evolve, un método novedoso para la verificación de modelos de hardware. Emplea la evolución heurística offline impulsada por LLM y guiada por pruebas/testigos para mejorar la eficiencia del algoritmo IC3.