萨尔提：第一个人工智能形式验证工程师

本研究针对形式验证工程师在软件验证中面临的自动化不足问题，提出了一种新的解决方案——萨尔提，一个能够全自动执行RTL设计验证的人工智能工程师。该研究的关键创新在于采用了代理工作流，使得验证过程更加动态和自反。萨尔提的推出使得验证工程师可以专注于更复杂的问题，显著提升了验证团队的目标和效率。