英诺达发布全新静态验证产品，提升芯片设计效率
2026-07-10 23:18:58 [焦点] 来源：上海景诚展览服务有限公司
英诺达(成都)电子科技有限公司近日正式推出了两款全新的英诺静态验证EDA工具——EnAltius®CDC跨域检查工具和Lint RTL代码检查工具。这两款产品的布全发布，标志着英诺达在芯片设计工具领域迈出了重要一步，新静将为中国芯片产业的态验发展注入新的活力。
静态验证作为一种业界普遍使用的证产验证方法，通过对设计的品提片设源代码进行深入分析，能够发现设计中的升芯潜在问题。与动态仿真验证和形式化验证相结合，计效静态验证可以显著提高验证的英诺覆盖率，帮助设计师在设计开发的布全早期阶段快速发现和诊断设计缺陷，从而有效缩短设计验证所需的新静时间，提升芯片设计的态验整体效率。
EnAltius®CDC跨域检查工具和Lint RTL代码检查工具正是证产基于这一理念而开发的。它们不仅能够为设计师提供更加全面、品提片设准确的升芯验证结果，还能够与英诺达现有的静态验证和分析EDA工具形成互补，共同构成一个完整的验证体系，为芯片设计提供全方位的支持。
此次两款新品的发布，进一步丰富了英诺达的产品线，也展示了英诺达在芯片设计工具领域的创新能力和技术实力。未来，英诺达将继续致力于为中国芯片产业的发展贡献更多的优质产品和服务。
(责任编辑：百科)
创维与珠海万达商管南区达成全面战略合作
志高双节“智”惠先发 领航家电“金九银十”—万维家电网
海尔自清洁空调将集体亮相首届智能家电节—万维家电网
海尔服务创新模式：建成业内首个共赢生态圈—万维家电网
SATA硬盘的安全使用注意事项推荐文章
-
在近日举办的2024火山引擎FORCE原动力大会上，英特尔与火山引擎联合发布基于英特尔 至强 6 性能核处理器的第四代服务器实例，以打造弹性算力底座的产品化实践。同时，英特尔也携手扣子共同推出Coze
...[详细]
-
还记得当时风靡一时的nest恒温器吗？当时就是这款温控产品引爆了整个智能家居。据悉，在美国，一个家庭50%的用电都是用于温控系统。而由于国内环境的不同，类似nest恒温器这种在美国普及率甚高的产品在国
...[详细]
-
国庆临近，空调行业促销大战就已经火爆开始，各大企业都在摩拳擦掌、全力以赴，想要抓住市场2017新冷年开局抢跑首个关键节点。据悉，“变频实力派”的海信空调自然不会放过这个机会，携名燥业内的多款中高端精
...[详细]
-
互联网时代，随着经济的快速发展和消费水平的迅速提升，人们的消费结构发生了极大转变，相比几十年前以满足温饱为主的刚需消费，21世纪以80、90后为代表的消费者更倾向于“有态度”的消费方式，追求生活品质
...[详细]
-
近日，燧原科技创新研究院首席研究员石恒博士受邀在2024中国人工智能大会的“AI芯片与智能计算创新生态”专题论坛上，发表了《面向AI芯片的高性能计算核领域特定语言探索》的主题演讲。2024中国人工智能
...[详细]
-
目前，国际规模最大、影响最大的消费电子产品展IFA正吸引全球家电业的目光，中国空调业的技术派海信以智能变频空调系列精品持续闪耀德国，并凭借升级版压缩机自适应技术、珍珠女神空调两大业内领先的科技成果一
...[详细]
-
生活中经常有这样的体验，开始打喷嚏的时候，人才意识到自己着凉了。其实，这个时候再添置衣物保暖已经为时过晚了。海尔空调研发团队在研究智能仿生人时也同样发现了这一规律：人体在接受冷暖温度刺激后到产生穿脱
...[详细]
-
互联网时代，随着经济的快速发展和消费水平的迅速提升，人们的消费结构发生了极大转变，相比几十年前以满足温饱为主的刚需消费，21世纪以80、90后为代表的消费者更倾向于“有态度”的消费方式，追求生活品质
...[详细]
-
在当今的计算机系统中，硬盘是存储数据的核心部件之一。SATA串行高级技术附件）硬盘因其较高的性能和较低的成本而广泛使用。然而，即使是最先进的SATA硬盘，也可能因为多种原因而性能下降。以下是一些优化S
...[详细]
-
9月21日，国家信息中心官网发布了《2016冷年中国智能空调市场分析报告》(2015年8月-2016年7月)。数据显示，2016冷年智能空调占整体空调销售量比例由2015冷年的8.68%提升为15.
...[详细]
热点阅读
