英诺达发布全新静态验证产品，提升芯片设计效率
2026-07-10 23:55:32 [知识] 来源：大连超越国际展览有限公司
英诺达(成都)电子科技有限公司近日正式推出了两款全新的英诺静态验证EDA工具——EnAltius®CDC跨域检查工具和Lint RTL代码检查工具。这两款产品的布全发布，标志着英诺达在芯片设计工具领域迈出了重要一步，新静将为中国芯片产业的态验发展注入新的活力。
静态验证作为一种业界普遍使用的证产验证方法，通过对设计的品提片设源代码进行深入分析，能够发现设计中的升芯潜在问题。与动态仿真验证和形式化验证相结合，计效静态验证可以显著提高验证的英诺覆盖率，帮助设计师在设计开发的布全早期阶段快速发现和诊断设计缺陷，从而有效缩短设计验证所需的新静时间，提升芯片设计的态验整体效率。
EnAltius®CDC跨域检查工具和Lint RTL代码检查工具正是证产基于这一理念而开发的。它们不仅能够为设计师提供更加全面、品提片设准确的升芯验证结果，还能够与英诺达现有的静态验证和分析EDA工具形成互补，共同构成一个完整的验证体系，为芯片设计提供全方位的支持。
此次两款新品的发布，进一步丰富了英诺达的产品线，也展示了英诺达在芯片设计工具领域的创新能力和技术实力。未来，英诺达将继续致力于为中国芯片产业的发展贡献更多的优质产品和服务。
(责任编辑：热点)
飒智智能获数千万元A+轮融资
TCL不会收缩空调业务 将转向追求利润—万维家电网
2006年空调市场回眸：新招迭出 亮点多—万维家电网
2007制冷年度：海尔中央空调发力高端—万维家电网
如何选择合适的光电传感器 光电传感器在自动化中的应用推荐文章
-
近日，第十五届物联网产业与智慧城市发展年会在京成功举办，由中国通信工业协会指导，中国通信工业协会物联网应用分会主办，多家机构协办。北京中元易尚科技有限公司飞猫）凭物联网领域杰出贡献，荣获“2024物联
...[详细]
-
2006空调厂家集体“喊冷”，整个行业被卷入全面亏损的漩涡，越来越多的品牌淡出了市场。据一个大卖场透露，其销售已由原来的20多个品牌减少到目前的10多个品牌，不少品牌轰然倒下。 然而，在这个行业公认
...[详细]
-
又一个冷冻年度按照空调市场规律，从当年的9月到第二年的8月为一个冷冻年）即将结束，原材料价格的大幅度提升、旺季市场的天气影响以及连锁渠道的兼并整合，使得2006冷冻年度的市场显现出独有的特点。 ■整体
...[详细]
-
军团病是一种呼吸道感染疾病。1976年，美国一批退伍老兵在费城聚会时，首次发生这种病，因此得名。军团病之所以能够传播，与中央空调不卫生直接相关。记者在采访中了解到，一些公共场所中央空调的卫生状况之恶劣
...[详细]
-
近期，禾赛凭借深厚的技术积累、强劲的市场表现以及引领市场的商业价值，荣获2024 高工移动机器人金球奖「年度技术」、2024 高工智能汽车金球奖「年度技术突破奖」、36氪「年度最具商业价值企业」和智通
...[详细]
-
秋风乍起，2007年空调冷冻年如期而至，而在刚刚过去的06冷冻年，空调销售惨不忍睹，除四川等个别地区受高温天气影响，空调消费迎来井喷外，全国大部分市场销售大幅下滑，行业首次出现负增长。面对06冷冻年的
...[详细]
-
又一个冷冻年度按照空调市场规律，从当年的９月到第二年的８月为一个冷冻年）接近尾声，原材料价格的大幅度提升、旺季市场的天气影响以及连锁渠道的兼并整合，使得２００６冷冻年度的市场呈现出独有的特点——涨价。
...[详细]
-
近日, GMCC冰压生产基地荣膺“2016年度合肥市知识产权示范企业”殊荣，这标志着GMCC的知识产权工作又迈上一个新台阶。 设立合肥市知识产权示范企业的目的，是为深入推进国家知识产权示范城市建
...[详细]
-
近期，禾赛凭借深厚的技术积累、强劲的市场表现以及引领市场的商业价值，荣获2024 高工移动机器人金球奖「年度技术」、2024 高工智能汽车金球奖「年度技术突破奖」、36氪「年度最具商业价值企业」和智通
...[详细]
-
2006冷冻年度的盘点还未结束，不少厂商已经开始筹划2007冷冻年度的战役。而一家空调厂商试图以新技术来强攻明年的空调市场，首次推出了“无水加湿”功能的空调。 以往空调只具备制冷、除湿等基本功能，这
...[详细]
热点阅读
