英诺达发布全新静态验证产品，提升芯片设计效率
英诺达(成都)电子科技有限公司近日正式推出了两款全新的英诺静态验证EDA工具——EnAltius®CDC跨域检查工具和Lint RTL代码检查工具。这两款产品的布全发布，标志着英诺达在芯片设计工具领域迈出了重要一步，新静将为中国芯片产业的态验发展注入新的活力。
静态验证作为一种业界普遍使用的证产验证方法，通过对设计的品提片设源代码进行深入分析，能够发现设计中的升芯潜在问题。与动态仿真验证和形式化验证相结合，计效静态验证可以显著提高验证的英诺覆盖率，帮助设计师在设计开发的布全早期阶段快速发现和诊断设计缺陷，从而有效缩短设计验证所需的新静时间，提升芯片设计的态验整体效率。
EnAltius®CDC跨域检查工具和Lint RTL代码检查工具正是证产基于这一理念而开发的。它们不仅能够为设计师提供更加全面、品提片设准确的升芯验证结果，还能够与英诺达现有的静态验证和分析EDA工具形成互补，共同构成一个完整的验证体系，为芯片设计提供全方位的支持。
此次两款新品的发布，进一步丰富了英诺达的产品线，也展示了英诺达在芯片设计工具领域的创新能力和技术实力。未来，英诺达将继续致力于为中国芯片产业的发展贡献更多的优质产品和服务。
(责任编辑：综合)
英特尔带您解锁云上智算新引擎
上汽名爵全新MG4正式量产下线
开关稳压器的主要拓扑
中小学、幼儿园安全防范新标准6月1日起正式实施
Diodes发布ZXCT18xQ系列高精度电流分流监测器推荐文章
-
“整顿”职场，从来都不是哪一代人的事 编辑：汤晓雪 来源：中国青年报
...[详细]
-
直播间开进果园！全国秋粮收获近尾声 各地多举措助农增收 编辑：汤晓雪
...[详细]
-
徽BA常规赛第六轮滁州队客场憾负马鞍山队滁州网讯全媒体记者胡文峰）6月27日晚，经过两周休赛期，徽BA常规赛第六轮重燃战火。滁州队做客马鞍山市体育中心综合馆，经过四节激战，最终以68:72不敌马鞍山队
...[详细]
-
此前，2025年6月25日-27日，在浙江宁波“2025中国喷泉水景年会”上，英威腾荣获行业突出贡献奖。这一奖项由“中国建筑金属结构协会喷泉委员会”正式颁发，标志着英威腾在驱动技术领域的突破获得更高的
...[详细]
-
近期，禾赛凭借深厚的技术积累、强劲的市场表现以及引领市场的商业价值，荣获2024 高工移动机器人金球奖「年度技术」、2024 高工智能汽车金球奖「年度技术突破奖」、36氪「年度最具商业价值企业」和智通
...[详细]
-
近日，2025全球数字经济大会在京盛大召开。通过大会"首发首秀"特色活动，软通动力面向全球市场正式发布公司海外新品牌——”iSoftStone Digital软通国际“。这一重要发布标志着软通动力进入
...[详细]
-
近日，在2025全球数字经济大会·数字经济国际合作主论坛上，软通动力董事长兼首席执行官刘天文发表《中国数字化企业出海实践》主题演讲，阐述了中国数字经济20年发展的成果和新机遇，提出中国企业需以“科技创
...[详细]
-
设计零EQ兴森DFM平台赋能设计数字化新模式圆满结束兴森科技携手派兹互连、电巢科技联合推出《兴森大求真》第7期直播——“设计零EQ-兴森DFM平台赋能设计数字化新模式”圆满结束。本期直播，兴森科技系统
...[详细]
-
SATASerial Advanced Technology Attachment）硬盘是一种广泛使用的硬盘接口技术，以其高速数据传输和较高的数据传输率而受到用户的青睐。然而，为了确保SATA硬盘的安
...[详细]
-
近日，法国电信 Orange Group 内容与设备合作执行副总裁 Philippe LUCAS、波兰首席执行官 Liudmila Climoc、罗马尼亚首席执行官 Julien Ducarroz、刚
...[详细]
热点阅读
