VerifAIX推出AI验证系统，解决芯片设计信任问题

VerifAIX推出基于形式化验证的AI系统，旨在自动化芯片设计流程。该工具结合大语言模型与数学算法，解决传统验证中的信任与错误问题。关注：属于技术趋势，暂无明确的供需或价格影响。

2026/7/17