英诺达发布全新静态验证产品，提升芯片设计效率
2026-07-11 02:20:34 [探索] 来源：济南皇铭数控设备有限公司
英诺达(成都)电子科技有限公司近日正式推出了两款全新的英诺静态验证EDA工具——EnAltius®CDC跨域检查工具和Lint RTL代码检查工具。这两款产品的布全发布，标志着英诺达在芯片设计工具领域迈出了重要一步，新静将为中国芯片产业的态验发展注入新的活力。
静态验证作为一种业界普遍使用的证产验证方法，通过对设计的品提片设源代码进行深入分析，能够发现设计中的升芯潜在问题。与动态仿真验证和形式化验证相结合，计效静态验证可以显著提高验证的英诺覆盖率，帮助设计师在设计开发的布全早期阶段快速发现和诊断设计缺陷，从而有效缩短设计验证所需的新静时间，提升芯片设计的态验整体效率。
EnAltius®CDC跨域检查工具和Lint RTL代码检查工具正是证产基于这一理念而开发的。它们不仅能够为设计师提供更加全面、品提片设准确的升芯验证结果，还能够与英诺达现有的静态验证和分析EDA工具形成互补，共同构成一个完整的验证体系，为芯片设计提供全方位的支持。
此次两款新品的发布，进一步丰富了英诺达的产品线，也展示了英诺达在芯片设计工具领域的创新能力和技术实力。未来，英诺达将继续致力于为中国芯片产业的发展贡献更多的优质产品和服务。
(责任编辑：百科)
美的渠道疯狂扩张3年欲扩800家门店—万维家电网
20亿淡季回款 奥克斯粉碎空调寒冬传说—万维家电网
国际家电合肥论剑 白电智能长虹称雄—万维家电网
“惟爱思”亮相终端 被误成合资产品—万维家电网
白电总体质量较好 性能可靠性有待提高—万维家电网推荐文章
-
随着原材料价格回落及市场竞争加剧，今夏国内空调价格将稳中有降，具有节能优势的空调有望成为市场新热点，中国家用电器协会副秘书长陈钢近日在第九届上海家用电器节启动仪式上作上述表示。 据预测，2007年我国
...[详细]
-
[万维家电网 特别策划]由万维家电网发起的“时尚OL 单枪匹马闯九州”，海尔空调极限任务全国行的招募启动以来，受到了很多消费者的支持。虽然我们此次的行程只包括北京、上海、武汉、长沙、广州五大城市，但
...[详细]
-
日前，中央空调行业两大权威媒体《艾肯空调制冷网》和《中央空调市场》相继发布2011中央空调年度报告。根据这两份权威报告显示，美的中央空调2011年销量稳居民族品牌第一。据艾肯空调制冷网统计，美的中央
...[详细]
-
为全面提升传统柜机的静音、送风效果，美的历经4年的悉心开发，于今年研制成功并推出已申请国家专利的双贯流变频柜机。 所谓双贯流风道技术，是将挂机空调的贯流风轮运用于柜机两侧，从而保持贯流风轮静音、节能
...[详细]
-
进入四月份，空调市场已经剑拔弩张。面对07冷年的旺季大决战，“美的不打算参与任何价格战”，中国制冷学会理事、美的家用空调事业部副总经理伍光辉博士近日向记者表示，“空调企业的竞争焦点已从规模和价格等方面
...[详细]
-
南征北战 热霸首年告捷 一入侯门深似海，这是热霸空调最近的烦恼。本以为只是“玩票”性质地到冰天雪地的南北极一游，哪知却在一年后遭到强制扣留，它的归家路也因此变得遥遥无期。此事
...[详细]
-
每年的五月都是家电的热卖季，特别是受时节影响而大热的空调更是成了卖场的“红人”。今天小编推荐一款1.5P变频冷暖型空调挂机，奥克斯KFR-35GW/BPSS-3，在智能、舒适性及节能方面，这款空调都
...[详细]
-
2012年中国家电博览会在美丽的3月之春拉开序幕了。在上海新国际博览中心，来自海内外的400余家家电品牌百花齐放，争奇斗艳。松下空调怡迅系列也以全新姿态惊艳亮相，并以创新智能科技摄人眼球，成为家博会
...[详细]
-
作为世界性的体育盛事，2008年北京奥运会不仅是提升中国国际地位和形象的盛大体育赛事，对于企业来说，也是一个难得的营销机会和巨大无比的传播舞台。很多企业都开始思考如何抓住奥运带来的商机，以期望借助奥运
...[详细]
-
就像触摸屏手机替代按键手机、DVD机淘汰VCD机一样，每个行业技术性的变革将产生颠覆性的影响。近几年，空调柜机因为沿袭了十几年的结构设计而无法出现关键性的突破。 然而今年，这个情况已然生变。5月，美
...[详细]
热点阅读
