Hardware Verification

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

Esta pesquisa apresenta o IC3-Evolve, um novo método para verificação formal de hardware. Ele utiliza a evolução heurística offline impulsionada por LLMs e guiada por provas/testemunhas para melhorar a eficiência do algoritmo IC3.