英伟达投的AI公司，要入局芯片验证

已收录文章摘要，完整内容可前往原文阅读。

半导体行业观察：由 Robinhood 首席执行官 Vlad Tenev 联合创立的人工智能初创公司 Harmonic 周二表示，随着人工智能在检测软件缺陷方面的应用日益广泛，该公司正在将其 Aristotle 模型从数学证明扩展到软件和芯片设计验证，这引起了越来越多的关注。