英诺达发布全新静态验证产品，提升芯片设计效率
英诺达(成都)电子科技有限公司近日正式推出了两款全新的英诺静态验证EDA工具——EnAltius®CDC跨域检查工具和Lint RTL代码检查工具。这两款产品的布全发布，标志着英诺达在芯片设计工具领域迈出了重要一步，新静将为中国芯片产业的态验发展注入新的活力。
静态验证作为一种业界普遍使用的证产验证方法，通过对设计的品提片设源代码进行深入分析，能够发现设计中的升芯潜在问题。与动态仿真验证和形式化验证相结合，计效静态验证可以显著提高验证的英诺覆盖率，帮助设计师在设计开发的布全早期阶段快速发现和诊断设计缺陷，从而有效缩短设计验证所需的新静时间，提升芯片设计的态验整体效率。
EnAltius®CDC跨域检查工具和Lint RTL代码检查工具正是证产基于这一理念而开发的。它们不仅能够为设计师提供更加全面、品提片设准确的升芯验证结果，还能够与英诺达现有的静态验证和分析EDA工具形成互补，共同构成一个完整的验证体系，为芯片设计提供全方位的支持。
此次两款新品的发布，进一步丰富了英诺达的产品线，也展示了英诺达在芯片设计工具领域的创新能力和技术实力。未来，英诺达将继续致力于为中国芯片产业的发展贡献更多的优质产品和服务。
(责任编辑：探索)
燧原科技亮相2024中国人工智能大会
奥比中光3D视觉产品助力北美智慧物流应用落地
上半年泉州多项经济指标保持两位数增长 全市地区生产总值比增12.7%
零跑汽车携手QNX打造科技豪华旗舰SUV D19
飒智智能获数千万元A+轮融资推荐文章
-
全球领先的软件定义系统级芯片(SoC)开发商XMOS近日宣布，已与飞腾云科技签署增值分销协议。根据协议，飞腾云科技被正式授权为XMOS全球首家增值经销商(VAR)，将利用XMOS的xcore芯片平台和
...[详细]
-
气象部门预计，台风将给泉州带来明显降雨过程，对市民居家、出行造成安全威胁，并极易导致部分地区发生山洪、泥石流、塌方等自然灾害。相关部门提醒，市民应采取各项防范措施，保障生命及财产安全。地质灾害点群众应
...[详细]
-
市统计局日前发布前8个月全市主要经济数据，今年1月—8月，全市经济总体保持稳定恢复态势，规模以上工业增加值、社会消费品零售总额和财政一般公共预算总收入同比保持两位数增长。全市规模以上工业增
...[详细]
-
今天起长三角区域7日空气质量 “一图可见” 编辑：汤晓雪 来源：中国
...[详细]
-
应用随着高速铁路和城市轨道交通的快速发展，传统测试方法已难以满足现代铁路信号系统的复杂性和可靠性要求。自动测试技术以其高效、准确的特点，成为解决这一问题的关键。本案例中的公司是一家专注于科技研发、生产
...[详细]
-
记者从泉州市工信局获悉，为落实泉州市碳达峰、碳中和以及制造业数字化转型等重点专题决策部署，日前，《泉州市绿色数字技改专项行动方案》出台，全力支持企业实施技术改造，加快产业绿色化、智能化转型，推动制造业
...[详细]
-
以峡谷旅游路为主线的山海风光生态廊道区，是石狮生态连绵带总体规划“一环、两核、三廊”的生态空间结构中的“三廊”之一，已成为休闲旅游的“网红打
...[详细]
-
校服主题走秀现场。东南网记者 林杰 摄东南网7月18日讯本网记者 谢玉妹 林杰）18日上午，以“健康引领 美丽校园”为主题的第三届中国校园服饰国际博览会简称校博会）在中国服装名
...[详细]
-
滁州网讯全媒体记者刘 晨 通讯员王 松）今年以来，市公管局聚焦市场主体的急难愁盼问题，通过“线上+线下”送政策、“台账+制度”清资金、“抽查
...[详细]
-
记者从市文旅局获悉，26日，省文旅厅公布13项“福建文化标识”，泉州文化标识“郑成功”“德化白瓷”“泉州古城&rdq
...[详细]
热点阅读
