人工半导体测试初创公司 VerifAIX 融资 500 万美元用于扩大开发和工程团队

人工半导体测试初创公司 VerifAIX 在由 Endiya Partners 和 Bluehill VC 领投的种子轮融资中筹集了 500 万美元。

此轮融资标志着该初创公司获得第一笔机构融资，并将支持产品开发、客户部署以及其在美国、印度和以色列的工程团队的扩展。

VerifAIX 由 Madhulima Tewari、Kenneth Roe 和 Avner Landwehr 创立，为半导体设计构建人工验证平台，帮助工程团队以更高的速度、严谨性和可靠性验证更复杂的芯片。

该初创公司的平台将人工智能与正式方法相结合，创建一个可验证的信任层，连接设计规范、RTL 和测试资产，从而实现从设计意图到关闭的可靠测试和可追溯性。

VerifAIX 将利用筹集的资金来推进其形式化 Brain，将自动化抽象和分解规模化为更大的设计，增强形式化和模拟能力，并扩大客户部署。

它还将扩大其在美国、印度和以色列的工程团队，重点关注人工智能研究、正式测试和半导体工程。

VerifAIX 首席执行官 Madhulima Tewari 表示：“人工智能正在改变半导体设计的创建方式，但生成设计并不等同于证明其正确性。”

“随着人工智能成为工程流程的一部分，行业需要一个独立的信任层，可以建立有效性并保护设计意图的可追溯性。我们的愿景是为基于人工智能的半导体的开发建立这个可测试的信任层，这笔资金将使我们能够深化技术并将平台扩展到日益复杂的设计和客户。”

VerifAIX 构建了一个性能平台，与多家半导体公司一起部署，应对现实世界的验证挑战，包括复杂的控制密集型和协议密集型设计。

该初创公司的目标客户是广泛的定制芯片开发商，包括半导体和 IP 公司、处理器和人工智能加速器开发商、超大规模开发商和系统公司。

“人工智能正在加速芯片的制造，但准确性正在成为一个障碍。VerifAIX 在解决这个信任问题方面采取了不同的方法，其人工智能基于数学驱动的形式大脑，由在人工智能、形式测试和半导体方面具有独特深度的团队构建。

Bluehill VC 的 Sridhar Parthasarathy 表示：“验证已经是芯片开发中最困难、最耗费资源的部分之一，随着设计变得更加复杂以及人工智能加速工程设计，挑战只会增加。”

“VerifAIX 将人工智能与精密测试技术和深厚的半导体专业知识相结合。其早期的客户工作展示了随着人工智能深入芯片设计流程，半导体团队可以依赖的测试置信层的潜力。”