该研究探讨了现代系统芯片（SoCs）设计中的验证挑战，提出了多种形式化验证方法，包括大型语言模型（LLMs）和模糊测试技术，以提高验证效率和覆盖率。研究表明，这些方法能有效整合数字与模拟设计，显著提升验证效果。
完成下面两步后，将自动完成登录并继续当前操作。
