VeriTrace

研究者提出VeriTrace多智能体系统，通过赋予AI自主选择信号、时间窗口和迭代深度的能力，使其能像人类验证工程师一样进行假设驱动的根因分析，在VerilogEval-V2基准测试中首次实现100%功能正确率。