英诺达发布全新静态验证产品，提升芯片设计效率
2026-07-11 02:34:34 [综合] 来源：江苏省沭阳沭龙孵化场有限公司
英诺达(成都)电子科技有限公司近日正式推出了两款全新的英诺静态验证EDA工具——EnAltius®CDC跨域检查工具和Lint RTL代码检查工具。这两款产品的布全发布，标志着英诺达在芯片设计工具领域迈出了重要一步，新静将为中国芯片产业的态验发展注入新的活力。
静态验证作为一种业界普遍使用的证产验证方法，通过对设计的品提片设源代码进行深入分析，能够发现设计中的升芯潜在问题。与动态仿真验证和形式化验证相结合，计效静态验证可以显著提高验证的英诺覆盖率，帮助设计师在设计开发的布全早期阶段快速发现和诊断设计缺陷，从而有效缩短设计验证所需的新静时间，提升芯片设计的态验整体效率。
EnAltius®CDC跨域检查工具和Lint RTL代码检查工具正是证产基于这一理念而开发的。它们不仅能够为设计师提供更加全面、品提片设准确的升芯验证结果，还能够与英诺达现有的静态验证和分析EDA工具形成互补，共同构成一个完整的验证体系，为芯片设计提供全方位的支持。
此次两款新品的发布，进一步丰富了英诺达的产品线，也展示了英诺达在芯片设计工具领域的创新能力和技术实力。未来，英诺达将继续致力于为中国芯片产业的发展贡献更多的优质产品和服务。
(责任编辑：焦点)
00后步入职场，企业如何“接招”
广东空调企业施展浑身解数度“冬”—万维家电网
在家开空调睡觉跟“坐火车”似的—万维家电网
中央空调三大巨头抢食“日美蛋糕”—万维家电网
东风汽车首款轴向磁通分布式电驱样机下线推荐文章
-
2024年11月，龙芯桌面和服务器平台新增73家企业的127款适配产品。其中包括：业务系统25款、安全应用18款、网络应用11款、医疗健康9款、地理信息系统6款、图形图像6款、社交沟通5款、教育教学2
...[详细]
-
2006年空调品牌再消失1/3 “2005冷冻年，中国的空调品牌消失了27个，但这并不代表剩下的69个空调企业都是优质企业。2006冷冻年度，中国市场的空调品牌还会消失1/3。”上周，LG电子中国区营
...[详细]
-
在河南地区06年度开盘整体空调市场表现不佳的情况下，美的空调呈现逆市增长的态势。截止到11月中旬，美的驻马店产品管理中心回款任务已完成全年任务的40%(全年2亿元目标任务)，同比增长10%，终端出货
...[详细]
-
无论是在写字楼、商场、医院， 还是酒店等各种场馆，冬天一到大都门窗紧闭，密不透风，室内由中央空调为我们调节冷暖。北京职业技能培训中心建筑智能化管理培训的朱老师讲，在很多写字楼中，我们呼吸的空气基本上
...[详细]
-
近日，柠檬光子成功获批2024年度科技重大专项资助项目“重202408008用于3D量子关联传感的2D可寻址面发射激光芯片关键技术研发”。此次申报获批立项，标志着柠檬光子在量子传感技术领域迈出了坚实的
...[详细]
-
近年来，在国内空调市场整合洗牌的大潮中，以LG、松下为代表的诸多外资企业，利用自身的品牌拉力和资本实力，或获得了长足的发展，或面临战略转型，或进行全面重组，积极应对中国市场的变化。目前，这些外企的发
...[详细]
-
长期各自为战的中国空调行业即将诞生第一个“联盟”：由广东10家主流空调生产企业组成的“广东省家电商会空调器专业委员会”将在下月正式成立，这10家企业将包括格力、美的、志高、TCL、格兰仕、科龙、以莱特
...[详细]
-
截止到目前为止，格兰仕空调江苏区域回款、出货均创出较好成绩，同时终端零售也较为良好。 目前，格兰仕空调江苏区域淡季回款接近1.5亿元，终端出货为6000余万元，从2005年8月份-10月份，终端零售超
...[详细]
-
各行各业中，精度一直是企业和用户最为关注的核心指标之一。随着技术的不断发展和市场需求的日益多样化，现有的探针座产品精度已经逐渐难以满足测试中对高质量和高性能的追求。为解决用户在实际应用中因精度不足而带
...[详细]
-
大字不识一个，却凭借水泥、锯末、尼龙绳等简单材料，造出了奇特的“土空调”。昨日，新洲区双柳街杨畈村农民杨祖松收到了国家知识产权局颁发的专利证书。在杨祖松家，记者看到，这台外观酷似空调柜机的“土空调”，
...[详细]
热点阅读
