LUBIS EDA在2025设计自动化大会展示验证技术突破
06/12/2025, 01:00 PM UTC
LUBIS EDA亮相2025年设计自动化大会LUBIS EDA at the 2025 Design Automation Conference
➀ LUBIS EDA在DAC 2025展示形式化验证整体解决方案，包括Turnkey签核服务；
➁ 推出ReCheck验证回归管理工具和AppBuilder断言IP开发框架；
➂ 通过AI与数据中心芯片客户案例，展示验证效率提升30%-70%的量化成果
➀ LUBIS EDA showcases formal verification solutions including Turnkey Sign-Off Services at DAC 2025;
➁ Introduces ReCheck regression management tool and AppBuilder framework for Assertion IP development;
➂ Demonstrates customer successes in AI and data center chip verification with measurable efficiency gains
在2025年旧金山设计自动化大会(DAC)上，德国EDA新星LUBIS EDA携三大技术突破强势回归。其Turnkey形式化签核服务通过客户实践验证，可将验证周期缩短40%，覆盖率达到RTL设计的深层次结构特征。采用领域专用断言IP库和模版化流程，尤其适用于AI加速器中的缓存一致性验证与数据中心芯片的复杂互连网络验证。
针对验证回归管理痛点，ReCheck工具引入增量验证技术，支持基于场景的调试跟踪。在7nm GPU项目中，该工具将回归测试时长从26 小时压缩至4小时，同时自动识别85%以上的接口级变更影响。配合覆盖率热点图功能，工程师可精准定位欠验证模块。
AppBuilder框架创新性地采用Unity元语言描述验证场景，结合EDA工具链生成可移植断言IP。某RISC-V处理器厂商借助该框架，将总线协议验证套件开发效率提升3倍，并与UVM环境实现动态数据联动。目前该技术已部署于超过30个HBM3控制器的特性验证中。
在展位现场，LUBIS团队演示了AI推理芯片的全流程形式化验证案例。通过层次化分解策略，将万亿级状态空间拆解为可并行验证的子模块，配合形式化checklist系统，最终实现93%的功能覆盖率和零逃逸缺陷的流片成果。
---
本文由大语言模型（LLM）生成，旨在为读者提供半导体新闻内容的知识扩展（Beta）。
