Lubis EDA 推出 FormalOS，为 RTL 验证与签核增加结构化流程

Lubis EDA 发布验证基础设施平台 FormalOS，将形式化引擎、应用及其他工具统一到单一环境，用于 SoC、ASIC 和 IP 签核项目。该平台基于其五阶段形式化验证方法论 Proven Process，提供结构化工作流、自动化形式化应用、VIP 与签核证据。FormalOS 默认不包含或调用任何 AI 技术，仅提供接口供客户接入自选模型或 LLM，由客户决定是否启用。