A Principled AI Path to Spec-Driven Verification
基于原则性AI的规范驱动验证路径
➀ 慧荣科技（Breker）通过AI驱动方法应对规范频繁变更和需求模糊的挑战，提升验证自动化；
➁ 其策略结合了基于NLP的确定性测试生成与未来LLM合作，兼顾可靠性与扩展性；
➂ 强调以“原则性”技术为基础，融合RISC-V、Arm验证经验，确保高质量硬件测试计划生成。
半导体行业最新 #Breker 相关新闻
A Principled AI Path to Spec-Driven Verification
基于原则性AI的规范驱动验证路径
➀ 慧荣科技（Breker）通过AI驱动方法应对规范频繁变更和需求模糊的挑战，提升验证自动化；
➁ 其策略结合了基于NLP的确定性测试生成与未来LLM合作，兼顾可靠性与扩展性；
➂ 强调以“原则性”技术为基础，融合RISC-V、Arm验证经验，确保高质量硬件测试计划生成。