英诺达发布全新静态验证产品，提升芯片设计效率
2026-07-10 23:46:18 [探索] 来源：福州鑫辉文化传媒有限公司
英诺达(成都)电子科技有限公司近日正式推出了两款全新的英诺静态验证EDA工具——EnAltius®CDC跨域检查工具和Lint RTL代码检查工具。这两款产品的布全发布，标志着英诺达在芯片设计工具领域迈出了重要一步，新静将为中国芯片产业的态验发展注入新的活力。
静态验证作为一种业界普遍使用的证产验证方法，通过对设计的品提片设源代码进行深入分析，能够发现设计中的升芯潜在问题。与动态仿真验证和形式化验证相结合，计效静态验证可以显著提高验证的英诺覆盖率，帮助设计师在设计开发的布全早期阶段快速发现和诊断设计缺陷，从而有效缩短设计验证所需的新静时间，提升芯片设计的态验整体效率。
EnAltius®CDC跨域检查工具和Lint RTL代码检查工具正是证产基于这一理念而开发的。它们不仅能够为设计师提供更加全面、品提片设准确的升芯验证结果，还能够与英诺达现有的静态验证和分析EDA工具形成互补，共同构成一个完整的验证体系，为芯片设计提供全方位的支持。
此次两款新品的发布，进一步丰富了英诺达的产品线，也展示了英诺达在芯片设计工具领域的创新能力和技术实力。未来，英诺达将继续致力于为中国芯片产业的发展贡献更多的优质产品和服务。
(责任编辑：娱乐)
东风汽车首款轴向磁通分布式电驱样机下线
美的高端中央空调首次签下第一单 —万维家电网
长虹空调发力工业设计揽走10项大奖—万维家电网
空调消费市场将告别价格敏感时代—万维家电网
高通任命新首席技术官推荐文章
-
滁州网讯全媒体记者刘 晨 通讯员王 松）今年以来，市公管局聚焦市场主体的急难愁盼问题，通过“线上+线下”送政策、“台账+制度”清资金、“抽查
...[详细]
-
新年度空调市场已经启动，各厂家面对市场疲态，积极培育市场期待旺季。在产品功能、外观颜色等概念创新后，加强服务、增进与消费者的感情等营销举措成为当前市场热点。加码售后服务赢人心国美电器负责人表示，空调销
...[详细]
-
品类品牌型号价格排名报价时间空调格力格力空调KFR-35GW/K(3558)B2-HN51.5210012007-12-1格力格力空调KFR-32GW/R(32540)-N51.5251022007-
...[详细]
-
案例名称：美的天净星空调网络视频传播案例公司名称：美的电器股份有限公司对于一个空调的高端新品的广告传播，除了传统的在电视上投放广告片、在高端杂志和平面纸媒上投放硬广之外，还有在通过眼下网络最热门和网友
...[详细]
-
随着物联网技术的蓬勃兴起，北京桂花网再次展示了其卓越的创新实力，推出了M1500及M1500-XT两款企业级蓝牙网关新品。M1500系列网关延续了M系列产品的诸多优势，如体积小巧、易于安装和使用、蓝牙
...[详细]
-
元旦、春节，历来被空调厂商看成是淡季销售小高潮，也是为旺季蓄势及品牌宣传的大好时机，各大品牌谁都不希望放过这一年一度的重要节点。日前，记者了解到，除国美、苏宁等连锁大卖场提前进入临战状态外，作为制造商
...[详细]
-
记者近日从志高空调获悉，志高空调“出口免验”项目正式启动申报，届时通过后志高空调出口海外的产品通关速度大为提速，大大增强志高产品国际竞争力、提升民族空调品牌形象。 据悉，“出口免验”是国家质检总局授予
...[详细]
-
记者近日从志高空调获悉，志高空调“出口免验”项目正式启动申报，届时通过后志高空调出口海外的产品通关速度大为提速，大大增强志高产品国际竞争力、提升民族空调品牌形象。 据悉，“出口免验”是国家质检总局授予
...[详细]
-
近日，南芯科技证券代码：688484）受邀出席 2025 华勤技术全球核心合作伙伴大会，并荣获由华勤授予的“优秀质量奖”，这是南芯连续第二年获此殊荣，也是继“华勤 2023 最佳协同奖”以来连续三年获
...[详细]
-
国美空调11月销售排行榜排名品牌 型号 价格 1海尔KFRd-23GW/Z1GC16992海尔KFRd-23GW/Z718193海尔KFRD-23GW/HCF21304格兰仕KFR-32GW/DA1-
...[详细]
热点阅读
