英诺达发布全新静态验证产品，提升芯片设计效率
2026-07-11 03:07:44 [焦点] 来源：深圳市奥斯恩净化技术有限公司
英诺达(成都)电子科技有限公司近日正式推出了两款全新的英诺静态验证EDA工具——EnAltius®CDC跨域检查工具和Lint RTL代码检查工具。这两款产品的布全发布，标志着英诺达在芯片设计工具领域迈出了重要一步，新静将为中国芯片产业的态验发展注入新的活力。
静态验证作为一种业界普遍使用的证产验证方法，通过对设计的品提片设源代码进行深入分析，能够发现设计中的升芯潜在问题。与动态仿真验证和形式化验证相结合，计效静态验证可以显著提高验证的英诺覆盖率，帮助设计师在设计开发的布全早期阶段快速发现和诊断设计缺陷，从而有效缩短设计验证所需的新静时间，提升芯片设计的态验整体效率。
EnAltius®CDC跨域检查工具和Lint RTL代码检查工具正是证产基于这一理念而开发的。它们不仅能够为设计师提供更加全面、品提片设准确的升芯验证结果，还能够与英诺达现有的静态验证和分析EDA工具形成互补，共同构成一个完整的验证体系，为芯片设计提供全方位的支持。
此次两款新品的发布，进一步丰富了英诺达的产品线，也展示了英诺达在芯片设计工具领域的创新能力和技术实力。未来，英诺达将继续致力于为中国芯片产业的发展贡献更多的优质产品和服务。
(责任编辑：焦点)
三坐标测量机常见故障及解决方法
创想三维登陆港股：首发KliTek技术，确立全场景生态
广汽高域首台飞行汽车GOVY AirCab成功下线
DGUS推出PLC协议配置工具，欢迎使用！
大模型安全联盟在北京成立，360展示多项创新成果推荐文章
-
在当今的计算机系统中，硬盘是存储数据的核心部件之一。SATA串行高级技术附件）硬盘因其较高的性能和较低的成本而广泛使用。然而，即使是最先进的SATA硬盘，也可能因为多种原因而性能下降。以下是一些优化S
...[详细]
-
在新能源汽车迈入智能化与高可靠性的关键阶段，车载照明系统正从“功能部件”向“智能终端”演进。为推动照明从单一功能向集安全、通信、交互于一体的智能终端演进——行业亟需深度融合新能源汽车电器架构与智能化需
...[详细]
-
近日，总部位于日本京都市的全球知名半导体制造商ROHM正式宣布，面向车载应用中日益普及的48V电源系统，推出80V耐压MOSFET"AG16xFNxx系列"。该系列产品已于2026年4月投入量产，样品
...[详细]
-
近日，AMD宣布为第二代Versal Prime系列自适应SoC产品线新增三款器件——Versal 2VM3454、2VM3254和2VM3104，专为专业音视频、广播、工业物联网等嵌入式应用设计。至
...[详细]
-
宁德时代与Stellantis集团合资建厂，总投资41亿欧元
近日，宁德时代与全球知名汽车制造商Stellantis集团联合宣布了一项重大合作计划。双方将共同出资，各持股50%，在西班牙萨拉戈萨市建立一座大型磷酸铁锂电池工厂。据悉，该工厂的投资总额高达41亿欧元
...[详细]
-
Supermicro推出搭载Intel Xeon 6+处理器的新服务器解决方案
近日，Supermicro正式宣布推出12款针对全新IntelXeon 6+处理器代号Clearwater Forest）优化的新服务器平台。新系统每插槽最多搭载288个能效核，单台服务器最高可达57
...[详细]
-
行业里默认“要动力就保不住油耗，要节能就牺牲性能”，用户被迫做二选一。星源插混要终结这个“将就”困局：“劲”和“省”不是跷跷板的两端，而是同一套技术体系的两个成果。01劲省双优终结将就都说动力和油耗是
...[详细]
-
Supermicro推出搭载Intel Xeon 6+处理器的新服务器解决方案
近日，Supermicro正式宣布推出12款针对全新IntelXeon 6+处理器代号Clearwater Forest）优化的新服务器平台。新系统每插槽最多搭载288个能效核，单台服务器最高可达57
...[详细]
-
应用随着高速铁路和城市轨道交通的快速发展，传统测试方法已难以满足现代铁路信号系统的复杂性和可靠性要求。自动测试技术以其高效、准确的特点，成为解决这一问题的关键。本案例中的公司是一家专注于科技研发、生产
...[详细]
-
来源：浙江安芯半导体有限公司正值国外品牌芯片供应链紧张之际，浙江安芯半导体正式发布了一款在软硬件上完全对标Microchip经典型号ATSHA204A的高安全加密芯片RJAT204A。并且，RJAT2
...[详细]
热点阅读
