SLED-IFV: Solver-Validated LLM-Guided Decomposition for Scalable Hardware Information-Flow Verification

arXiv cs.CR · 23 sept, 06:00

SLED-IFV es un sistema que combina LLM con verificación formal de hardware para acelerar la detección de vulnerabilidades de timing e información-flow en diseños RTL realistas. El enfoque usa decomposición semántica validada por solucionadores para simplificar pruebas formales complejas, logrando mejoras de hasta 603x en velocidad.