英诺达发布全新静态验证产品，提升芯片设计效率
2026-07-11 14:19:25 [休闲] 来源：哈尔滨远程路达物流公司
英诺达(成都)电子科技有限公司近日正式推出了两款全新的英诺静态验证EDA工具——EnAltius®CDC跨域检查工具和Lint RTL代码检查工具。这两款产品的布全发布，标志着英诺达在芯片设计工具领域迈出了重要一步，新静将为中国芯片产业的态验发展注入新的活力。
静态验证作为一种业界普遍使用的证产验证方法，通过对设计的品提片设源代码进行深入分析，能够发现设计中的升芯潜在问题。与动态仿真验证和形式化验证相结合，计效静态验证可以显著提高验证的英诺覆盖率，帮助设计师在设计开发的布全早期阶段快速发现和诊断设计缺陷，从而有效缩短设计验证所需的新静时间，提升芯片设计的态验整体效率。
EnAltius®CDC跨域检查工具和Lint RTL代码检查工具正是证产基于这一理念而开发的。它们不仅能够为设计师提供更加全面、品提片设准确的升芯验证结果，还能够与英诺达现有的静态验证和分析EDA工具形成互补，共同构成一个完整的验证体系，为芯片设计提供全方位的支持。
此次两款新品的发布，进一步丰富了英诺达的产品线，也展示了英诺达在芯片设计工具领域的创新能力和技术实力。未来，英诺达将继续致力于为中国芯片产业的发展贡献更多的优质产品和服务。
(责任编辑：休闲)
浙江电信与海康威视签订战略合作协议
泉州元宵节灯会盛况登央视新闻联播成“网红”
关于服务器节能认证（701042小类）执行新版规则及认证标准的通知推荐文章
-
网红打卡“堵”了厕所 历史建筑要怎么办？ 编辑：汤晓雪 来源：澎湃新
...[详细]
-
闽南网1月23日讯闽南网记者 陈玉玲 通讯员 林炳锋）2016年第四季度，泉州市考评中心组织对城区人行天桥和地下通道市容和环境卫生进行考评。在人行天桥的考评中，市公园管理中心以100分居第一名，鲤城区
...[详细]
-
往年泉州元宵灯会盛况往年泉州元宵灯会盛况往年泉州元宵灯会盛况鸡年春节临近，元宵还会远吗？昨日，2017年泉州元宵灯会工作方案出炉。今年的泉州元宵灯会将于2月9日至12日，即农历正月十三至十六举行，将以
...[详细]
-
滁州网讯 今年4月15日是第十个全民国家安全教育日，为了提高学生对危害国家安全行为的警惕性和识别能力，增强学生国家安全意识和素养，天长市千秋街道同心社区携手天长派出所走进炳辉小学，开展“七
...[详细]
-
近日，全球知名电子制造服务商富士康(Foxconn)在12月24日正式对外发布公告，宣布与英国高科技企业Porotech达成战略合作，双方将共同进军快速发展的增强现实(AR)眼镜市场。此次合作的核心在
...[详细]
-
在全球汽车产业面临深刻变革的当下，电动汽车的普及、自动驾驶技术的快速发展以及智能制造的兴起，正深刻改变着汽车行业的供应链格局。在这一变革洪流中，浙江华远汽车科技股份有限公司以下简称：浙江华远）凭借其独
...[详细]
-
海峡网2月18日讯海都记者 苏桐轩 文/图） 掉头时没看到中央隔离墩，将车子直接“骑”了上去，导致底盘受损，路口交通也出现短暂滞留。昨日下午2时许，这一幕发生在泉州市区江滨北路
...[详细]
-
2月20日，摩尔线程发布版本号为v290.100的图形显卡驱动程序。此次更新针对多款热门游戏进行了深度优化，旨在为玩家带来更流畅、更稳定的游戏体验。在DirectX 12模式下，新的驱动对《无限暖暖》
...[详细]
-
这个被称为 QUEEN 的模型支持低带宽、高质量的场景生成，可用于工业机器人操作、3D 视频会议和直播等流媒体应用。NVIDIA Research 与马里兰大学合作开发的 AI模型 QUEEN 将内容
...[详细]
-
滁州网讯今年2月份以来，天长市张铺镇持续干旱，旱情严峻，严重的田块已经开始出现小麦失水枯死现象。针对这一情况，张铺镇农机技术人员走到田间地头，与种植大户交流了解实际情况，积极帮助大户联系喷灌设备厂家采
...[详细]
热点阅读
