英诺达发布全新静态验证产品，提升芯片设计效率
2026-07-11 06:07:39 [焦点] 来源：上海颐习仪器设备有限公司
英诺达(成都)电子科技有限公司近日正式推出了两款全新的英诺静态验证EDA工具——EnAltius®CDC跨域检查工具和Lint RTL代码检查工具。这两款产品的布全发布，标志着英诺达在芯片设计工具领域迈出了重要一步，新静将为中国芯片产业的态验发展注入新的活力。
静态验证作为一种业界普遍使用的证产验证方法，通过对设计的品提片设源代码进行深入分析，能够发现设计中的升芯潜在问题。与动态仿真验证和形式化验证相结合，计效静态验证可以显著提高验证的英诺覆盖率，帮助设计师在设计开发的布全早期阶段快速发现和诊断设计缺陷，从而有效缩短设计验证所需的新静时间，提升芯片设计的态验整体效率。
EnAltius®CDC跨域检查工具和Lint RTL代码检查工具正是证产基于这一理念而开发的。它们不仅能够为设计师提供更加全面、品提片设准确的升芯验证结果，还能够与英诺达现有的静态验证和分析EDA工具形成互补，共同构成一个完整的验证体系，为芯片设计提供全方位的支持。
此次两款新品的发布，进一步丰富了英诺达的产品线，也展示了英诺达在芯片设计工具领域的创新能力和技术实力。未来，英诺达将继续致力于为中国芯片产业的发展贡献更多的优质产品和服务。
(责任编辑：焦点)
SATA硬盘的性能优化技巧
千亿格力疯抢节 不容错过的家电购物节—万维家电网
格力“红冰”地暖热水一体机闪耀制冷展—万维家电网
2013广交会现场报道：美的空调智能更节能—万维家电网
禾赛科技荣获四大重磅奖项推荐文章
-
精彩回顾丨为昕科技出席EDTEST2024深圳大会并发表重要演讲
2024电子设计与测试技术大会EDTEST2024）在深圳圆满举办，以“一起硬创，为您而生”为核心主题，深度聚焦电磁兼容、电源技术、信号完整性及元器件创新等，通过精彩纷呈的技术讲座与实战案例分享，深度
...[详细]
-
近日，国家发改委公布了《国家重点节能技术推广目录第五批）》，格力电器的“双级高效永磁同步变频离心式冷水机技术”入选，这标志着应用此项技术的格力高效直流变频离心机再度获得国家级
...[详细]
-
[万维家电网 广州报道]2013年3月12日，三星电子中国区规模最大的新品发布暨高峰对话活动＂三星中国论坛＂2013在华南理工大学开幕。此次论坛是三星电子规模最大的新品发布暨论坛活动，每年初在美洲、
...[详细]
-
近期，楼市逐步升温引发房地交易小高潮，随之也带来装修热潮。装修进门五大件，空调在人们生活中越来越重要。记者在宁波某家电卖场中了解到，在众多空调产品中奥克斯博悦空调销售火爆，成为众多消费者的首选。时尚外
...[详细]
-
近日，中国电信股份有限公司浙江分公司(以下简称“浙江电信”)与杭州海康威视数字技术股份有限公司以下简称“海康威视”）举行战略合作协议签署仪式。浙江电信党委书记、总经理李云庄，海康威视董事长胡扬忠出席签
...[详细]
-
天气一下子冷了下来，你家里安装了什么样的采暖设备来渡过寒冬呢！空调、电暖器、散热片、地暖、电地暖等等哪种取暖方式最省钱呢？有人做了一个实验，在同一个房间里，分别用电暖气和空调供暖一小时，实验结果如下：
...[详细]
-
2012年是家电企业的“寒冬”之年，行业整体形势不容乐观，销售出现下滑趋势，据中怡康CMM）测算数据显示，2012年整体家电市场总规模达11512亿元，同比增速为-4.7%。 前两年家电行业在“家电
...[详细]
-
一场由行业巨头强强联手、跨界合作推高2014年产业进入门槛的大戏真正在空调业上演。唯一不同的是，主角换成了中国南北极科考队和奥克斯空调。日前，中国南北极科考队在上海正式宣布，奥克斯第三
...[详细]
-
Littelfuse公司，一家专注于推动可持续、互联与更安全世界的工业技术制造领导者，近期隆重推出了C&K Switches品牌的EITS系列直角照明轻触开关。这一系列开关产品的问世，为众多复杂电子应
...[详细]
-
随着天猫交出了350亿的显赫成绩单，这场双十一大战终于落下了帷幕。而后众多的大数据交融，榜单交错，各种各样的分析表也构成了双十一之后的一道风景。但无论是何种分析，销量永远是硬数据。对家
...[详细]
热点阅读
