英诺达发布全新静态验证产品，提升芯片设计效率
2026-07-11 02:16:41 [综合] 来源：曲阜利特莱电力器材有限公司济宁分公司
英诺达(成都)电子科技有限公司近日正式推出了两款全新的英诺静态验证EDA工具——EnAltius®CDC跨域检查工具和Lint RTL代码检查工具。这两款产品的布全发布，标志着英诺达在芯片设计工具领域迈出了重要一步，新静将为中国芯片产业的态验发展注入新的活力。
静态验证作为一种业界普遍使用的证产验证方法，通过对设计的品提片设源代码进行深入分析，能够发现设计中的升芯潜在问题。与动态仿真验证和形式化验证相结合，计效静态验证可以显著提高验证的英诺覆盖率，帮助设计师在设计开发的布全早期阶段快速发现和诊断设计缺陷，从而有效缩短设计验证所需的新静时间，提升芯片设计的态验整体效率。
EnAltius®CDC跨域检查工具和Lint RTL代码检查工具正是证产基于这一理念而开发的。它们不仅能够为设计师提供更加全面、品提片设准确的升芯验证结果，还能够与英诺达现有的静态验证和分析EDA工具形成互补，共同构成一个完整的验证体系，为芯片设计提供全方位的支持。
此次两款新品的发布，进一步丰富了英诺达的产品线，也展示了英诺达在芯片设计工具领域的创新能力和技术实力。未来，英诺达将继续致力于为中国芯片产业的发展贡献更多的优质产品和服务。
(责任编辑：热点)
浩亭携手OCP推出高效连接解决方案
真的不如一把蒲扇吗？格力空调遭质疑—万维家电网
空调业能效新规来临 商家“紧急甩卖”—万维家电网
看07年铜价走势 预测国内外空调市场—万维家电网
NVIDIA CUDA推荐文章
-
苹果要打折卖了消费者质疑“诚意不足” 编辑：汤晓雪 来源：广州日报
...[详细]
-
近日, GMCC冰压生产基地荣膺“2016年度合肥市知识产权示范企业”殊荣，这标志着GMCC的知识产权工作又迈上一个新台阶。 设立合肥市知识产权示范企业的目的，是为深入推进国家知识产权示范城市建
...[详细]
-
家住新街口的赵女士最近有点儿烦。由于家里格局需要调整，空调得换地方，可之前承诺免费移机一次的澳柯玛空调的维修点却坚称“活动已经结束”，拒绝提供服务。 经过调查，记者了解到，澳柯玛空调已经于去年年底停
...[详细]
-
进入秋季，空调行业的２００６制冷年度也拉下了帏幕。ＧＦＫ中国对国内６５个主要城市家电零售市场的监测结果显示，２００６冷冻年的市场零售总量继续呈上涨趋势，价格上涨、消费峰值月提前、１匹机型成壁挂式主力、
...[详细]
-
39元抽iPhone14？市场监管部门：网上参与抽奖要谨慎 编辑：汤晓雪
...[详细]
-
9月2日讯 “夏天都快要过去了，可空调维修了这么多次还是没修好……”日前，龙口消协接到消费者马女士的上门投诉。去年初，马女士购买了一台品牌空调。今年7月，空调首次出现不制冷现象，马女士联系空调维修公司
...[详细]
-
2006空调市场：价格涨销量增 由于原材料价格的大幅度涨价带来的行业整体价格提升，使得2006制冷年度的市场表现得跌宕起伏，格外引人注目。 销量比上年增长超过一成 根据GfK对国内65个主要城市家
...[详细]
-
没有燃煤、烟尘、废弃物，看不到锅炉、冷却塔和制冷机，在室内就能享受到凉风或暖气，这是海水源热泵空调技术带给人们的科技新生活。记者今天从有关部门获悉，从今年起本市将在前期试点的基础上全力推广海水空调，率
...[详细]
-
Microchip推出12按钮MTCH2120交钥匙触摸控制器
为了助力设计人员快速将机械按钮升级为现代触摸按钮或显示屏，MicrochipTechnology Inc.(微芯科技公司)近期推出了12按钮MTCH2120交钥匙触摸控制器。这一创新产品为设计人员提供
...[详细]
-
04、05冷年空调企业采购的的进口压缩机数量在整体采购中虽没有占到主导地位，但其比重却在不断上升。但到06冷年后，压缩机进口的数量同比大幅下降，截止到06年6月的进口数据，下降幅度接近五成。 造成采
...[详细]
热点阅读
