Lubis EDA发布FormalOS验证平台
热点事件历史事件
Lubis EDA发布FormalOS验证平台
1 篇报道1 个报道来源9 天前更新
先了解这件事
AI 综述
Lubis EDA 发布验证基础设施平台 FormalOS，将形式化引擎、应用及其他工具统一到单一环境，用于 SoC、ASIC 和 IP 签核项目。该平台基于其五阶段形式化验证方法论 Proven Process，提供结构化工作流、自动化形式化应用、VIP 与签核证据。 FormalOS 默认不包含、不托管也不调用任何 AI 技术；Lubis EDA 称，是否启用 AI、选用哪个模型以及如何在验证环境中运行，均由客户决定。 FormalOS 作为 Lubis 形式化验证服务的一部分部署在客户的验证环境中，目前正在该公司各在研项目中实施。
AI 根据报道生成 · 9 天前更新
最新进展11月2日 19:51
Lubis EDA 推出 FormalOS，为 RTL 验证与签核增加结构化流程报道时间线
沿着报道，了解事件的不同侧面。
11月2日
- Electronics WeeklyLubis EDA 推出 FormalOS，为 RTL 验证与签核增加结构化流程
Lubis EDA 发布验证基础设施平台 FormalOS，将形式化引擎、应用及其他工具统一到单一环境，用于 SoC、ASIC 和 IP 签核项目。该平台基于其五阶段形式化验证方法论 Proven Process，提供结构化工作流、自动化形式化应用、VIP 与签核证据。FormalOS 默认不包含或调用任何 AI 技术，仅提供接口供客户接入自选模型或 LLM，由客户决定是否启用。