-
近百亿门超大容量！Palladium Z3四机并机集群投入运营
英诺达联合浙江英诺云，成功完成EnCitius®曜奇®SVS平台的Palladium Z3硬件仿真加速器（Emulator）四机并机，现已正式投入运营。该集群可提供高达92亿门的设计容量，单验证项目的支持上实现容量翻倍，进一步巩固了公司在IC设计及验证领域的技术及规模优势。
넶59 2026-08-05 -
英诺达亮相CCF Chip 2026大会，分享静态验证前沿方法
7月17日至20日，第三届中国计算机学会芯片大会（CCF Chip 2026）在无锡国际会议中心隆重召开。英诺达受邀参会，公司EDA研发副总裁李英梦博士在\x26quot;从约束求解到EDA形式化方法\x26quot;论坛上发表题为《从精确建模到启发式近似：静态验证中的形式化辅助算法》的主题报告
넶38 2026-07-23 -
英诺达携最新静态验证研发成果亮相ISEDA学术会议
5月8日，2026年国际电子设计自动化5月8日，2026年国际电子设计自动化研讨会（ISEDA）在新加坡隆重开幕，英诺达携其最新研究成果亮相ISEDA，发表题为《静态跨时钟域（CDC）检查的符号化方法》的学术报告，展示其在集成电路设计验证领域的最新研发成果。
넶88 2026-05-09
