探索LUBIS EDA：自动化与简化的形式化验证新纪元

在电子设计自动化领域，形式化验证一直是一个复杂而耗时的过程。然而，LUBIS EDA的CEO，托比亚斯·路德维希，正引领着行业向前迈出一大步。

托比亚斯的故事始于他在德国一所顶尖大学学习的电子设计自动化专业。毕业后，他在半导体行业积累了宝贵的实践经验，并很快意识到了传统形式化验证过程中的挑战和低效性。

受创新激情的驱动，托比亚斯与LUBIS EDA共同创立了这家公司，其愿景是将形式化验证自动化和简化，使其对所有规模的企业都更加可访问。在他的领导下，LUBIS EDA整合了一个专注于自动化验证过程的软件开发者团队，并开创性地采用了AI技术来增强调试和设置。

由于缺乏熟练的形式化验证工程师，托比亚斯推出了形式化训练营，这是一项旨在弥合人才差距并为下一代专家做好准备的项目。

今天，作为CEO，托比亚斯领导LUBIS EDA帮助全球半导体公司克服形式化验证最具挑战性的方面，推动创新和行业标准的制定。

以下是托比亚斯关于LUBIS EDA的访谈摘要：

在LUBIS EDA，我们专注于通过自动化形式化验证过程来揭示高风险硅设计中难以模拟和角落案例的bug。我们超越了传统的、劳动密集型的方法，整合了尖端工具和AI技术，使形式化验证更加可访问和有效。

我们的团队位于德国，靠近该国为数不多的教授形式化验证的大学之一，确保我们始终处于行业知识的前沿。我们不仅提供解决方案，还通过基于咨询的形式化签核和我们的专业形式化训练营培训计划来赋予客户权力。

无论是在处理复杂的IP（如缓存、路由器和控制器）还是在解决形式化验证人才缺口方面，我们都致力于帮助客户成功。我们的目标是简化验证过程，让客户能够专注于创新，而不是bug。

在接下来的几个月里，我们计划通过以下两个主要开发领域来进一步扩展我们的能力：

浏览器基础的自动化验证解决方案：我们正在开发一个基于Web的工具，将形式化验证简化到用户无需培训或先验知识的程度。我们的初始发布将包含一个RISC-V形式化验证应用程序，用户只需点击“运行”按钮。该工具处理所有内容，包括许可证和资源管理。如果检测到bug，用户将直接从波形中收到由AI生成的关于问题的全面描述。

C++基于FV AppGenerator：我们已经开发了一个工具，可以从SystemC/C++模型中生成SVA断言。这个工具经过多年的开发并在我们的咨询项目中证明非常有价值，允许用户在模拟或形式化验证中运行断言，而无需任何先前的专业知识。

如果您想了解更多关于LUBIS EDA的信息，请联系我们，我们可以通过LinkedIn或电子邮件与您取得联系，并承诺迅速回应。我们还定期安排与所有客户同步，以解决他们的问题，并在他们的形式化验证旅程中提供持续的支持。