英诺达发布全新静态验证产品，提升芯片设计效率
英诺达(成都)电子科技有限公司近日正式推出了两款全新的英诺静态验证EDA工具——EnAltius®CDC跨域检查工具和Lint RTL代码检查工具。这两款产品的布全发布，标志着英诺达在芯片设计工具领域迈出了重要一步，新静将为中国芯片产业的态验发展注入新的活力。
静态验证作为一种业界普遍使用的证产验证方法，通过对设计的品提片设源代码进行深入分析，能够发现设计中的升芯潜在问题。与动态仿真验证和形式化验证相结合，计效静态验证可以显著提高验证的英诺覆盖率，帮助设计师在设计开发的布全早期阶段快速发现和诊断设计缺陷，从而有效缩短设计验证所需的新静时间，提升芯片设计的态验整体效率。
EnAltius®CDC跨域检查工具和Lint RTL代码检查工具正是证产基于这一理念而开发的。它们不仅能够为设计师提供更加全面、品提片设准确的升芯验证结果，还能够与英诺达现有的静态验证和分析EDA工具形成互补，共同构成一个完整的验证体系，为芯片设计提供全方位的支持。
此次两款新品的发布，进一步丰富了英诺达的产品线，也展示了英诺达在芯片设计工具领域的创新能力和技术实力。未来，英诺达将继续致力于为中国芯片产业的发展贡献更多的优质产品和服务。
(责任编辑：焦点)
东风汽车首款轴向磁通分布式电驱样机下线
德州仪器蓝牙信道探测技术线上研讨会精彩回顾
罗德与施瓦茨完成NR
泉州交警严查电动车违法 发朋友圈集赞20个免罚
阿贝数在光学中的应用实例推荐文章
-
如今，实体商业正经历着深刻的变革，它们不仅需要应对消费者日益多样化的购物需求，还需紧跟数字化、智能化、绿色化的时代潮流，不断提升自身的竞争力。购物中心在创新消费场景、打造体验式消费空间方面持续探索。近
...[详细]
-
“冰墩墩”老爸说自己都没想到 为啥人人都爱“冰墩墩” 编辑：汤晓雪
...[详细]
-
泉州今年前11月农村公路建设投资 超“十二五”期间总和海峡网泉州晚报记者吴丽娇 通讯员林泳坤）今年前11月，泉州市农村公路建设投资完成9.75亿元，超过“十二五&r
...[详细]
-
无人机以高效创新的方案，改变了多个行业的格局。在农业领域，无人机助力精准农业、作物监测和牲畜追踪。工业部门利用无人机进行现场勘测、基础设施检查和项目监控。无人机还在革新配送服务，尤其在向偏远地区运送包
...[详细]
-
近日，中国电信股份有限公司浙江分公司(以下简称“浙江电信”)与杭州海康威视数字技术股份有限公司以下简称“海康威视”）举行战略合作协议签署仪式。浙江电信党委书记、总经理李云庄，海康威视董事长胡扬忠出席签
...[详细]
-
在第十届华为全联接大会期间，中软国际与华为公共事业军团联合发布了“行业智算中心解决方案”，中软国际云智能业务集团总裁闫国栋代表公司参与发布。同期，在广东算力运营伙伴圆桌论坛上，中软国际云智能业务集团城
...[详细]
-
昨日，记者从市市政工程管理处获悉，该处对市区13座桥梁进行维修加固处理，工期约50天，多数为水下作业，不影响路面交通。工作人员对桥梁进行维修加固海峡网11月22日讯 泉州网记者张晓明 通讯员陶崇熙 文
...[详细]
-
Liquid Instruments推出全新用户操控系统MokuOS 4.0，通过一套统一化的操控系统将Moku全系列产品的图形化操作软件、固件和API整合到同一操控平台，实现Windows、macO
...[详细]
-
西部数据执行副总裁Robert Soderbery将离职，公司即将拆分
近日，全球知名的数据存储解决方案提供商西部数据宣布了一则重要的人事变动消息。据悉，该公司执行副总裁兼NAND和SSD业务部门负责人Robert Soderbery将于2025年1月2日正式离职。这一变
...[详细]
-
赛思金融授时服务器 从《捕风追影》纳秒困局到数字安全，赛思以全链路时钟同步方案夯实时序安全底座
一句话证明你看过《捕风追影》！赛思：虚拟资金存入服务器，需要按预设好的纳秒区间精准输入密码。01《捕风追影》中的“纳秒精度”2025年暑期档动作犯罪大片《#捕风追影》，凭借超10亿票房和连续20天日冠
...[详细]
热点阅读
