英诺达发布全新静态验证产品，提升芯片设计效率
2026-07-10 21:56:42 [知识] 来源：深圳市鑫荣皓电子有限公司
英诺达(成都)电子科技有限公司近日正式推出了两款全新的英诺静态验证EDA工具——EnAltius®CDC跨域检查工具和Lint RTL代码检查工具。这两款产品的布全发布，标志着英诺达在芯片设计工具领域迈出了重要一步，新静将为中国芯片产业的态验发展注入新的活力。
静态验证作为一种业界普遍使用的证产验证方法，通过对设计的品提片设源代码进行深入分析，能够发现设计中的升芯潜在问题。与动态仿真验证和形式化验证相结合，计效静态验证可以显著提高验证的英诺覆盖率，帮助设计师在设计开发的布全早期阶段快速发现和诊断设计缺陷，从而有效缩短设计验证所需的新静时间，提升芯片设计的态验整体效率。
EnAltius®CDC跨域检查工具和Lint RTL代码检查工具正是证产基于这一理念而开发的。它们不仅能够为设计师提供更加全面、品提片设准确的升芯验证结果，还能够与英诺达现有的静态验证和分析EDA工具形成互补，共同构成一个完整的验证体系，为芯片设计提供全方位的支持。
此次两款新品的发布，进一步丰富了英诺达的产品线，也展示了英诺达在芯片设计工具领域的创新能力和技术实力。未来，英诺达将继续致力于为中国芯片产业的发展贡献更多的优质产品和服务。
(责任编辑：热点)
Microchip推出12按钮MTCH2120交钥匙触摸控制器
海尔毛守博：一年4000小时，实验室当成家—万维家电网
奥克斯空调派发福利 为单身们“点亮”情人节—万维家电网
日立“超体”地暖 零下20℃强劲制热 —万维家电网
AMD Alveo媒体加速产品组合SDK 1.2.1发布推荐文章
-
随着 IT 领域的持续演变，新的趋势正在涌现并有望在 2025 年重塑企业对待技术的方式。从生成式 AI到数据主权，未来一年各行各业都将面临重新思考其战略以适应新变化的挑战。基于关键观察与行业信号，
...[详细]
-
春节即将来临，各电商忙不停歇开启各大年货抢购专场，喜气洋洋迎新年。其中，国美在线为回馈广大消费者，更是提前打响开春第一炮，2月4日—6日，国美在线将火热开启开春大促钜惠活动。 活动中，诸多热销爆
...[详细]
-
一个顾客消费究竟是冲着商品，还是冲着服务去的？这个问题如果放在以前，则毫无疑问，在物质匮乏的年代，商品是驱动消费者购物的惟一动因。但放在现在，产品质量伴随产业技术发展而得到了本质的提高，消费者选择
...[详细]
-
全球压缩机领导品牌GMCC始终坚持客户导向策略，向卫民总经理接受媒体采访时多次强调客户服务理念，他表示：“企业的发展与成长，实际上就是来自于对客户的服务，客户认可，才有成长机会，企业存在的理由，就是客
...[详细]
-
近日，柠檬光子成功获批2024年度科技重大专项资助项目“重202408008用于3D量子关联传感的2D可寻址面发射激光芯片关键技术研发”。此次申报获批立项，标志着柠檬光子在量子传感技术领域迈出了坚实的
...[详细]
-
如果说当年马云、王健林的亿元豪赌象征着互联网商业的真正崛起，那么最近被众人称为2015年网络第一赌的海尔天樽空调之赌，则标志着海尔的互联网转型又踏上了一个新的台阶。 1月16日，微博昵称为数码孙行
...[详细]
-
想买空调怕花钱？频频使用太费电？自从有了“1度电”，这些烦恼全不见。继“双11”大获全胜后，美的变频空调乘胜追击，年度钜惠再次来袭，不用千挑万选直犯愁，更不用翻箱倒柜找发票等换购，美的全民普及“1
...[详细]
-
在南中国海那片蔚蓝的大海深处、在红色珊瑚礁和蓝色海水的图标后面藏着一个叫做西沙群岛的地方。这里被称为海天外的最后秘境。 西沙是我国南海中部陆域面积最大的珊瑚岛群，位于海南岛与中沙群岛大环礁之间，
...[详细]
-
00后“准入殓师”开启专业实习 编辑：汤晓雪 来源：北京日报
...[详细]
-
2014年，对空调领军品牌奥克斯来说是意义非凡的一年。这一年，奥克斯迎来了20周年生日庆典。这一年，是奥克斯“转型升级”启动以来的首个元年。这一年，当整个空调业都在热衷于价格战时，奥克斯依然坚守“
...[详细]
热点阅读
