英诺达发布全新静态验证产品，提升芯片设计效率
2026-07-11 01:32:24 [休闲] 来源：福州鑫辉文化传媒有限公司
英诺达(成都)电子科技有限公司近日正式推出了两款全新的英诺静态验证EDA工具——EnAltius®CDC跨域检查工具和Lint RTL代码检查工具。这两款产品的布全发布，标志着英诺达在芯片设计工具领域迈出了重要一步，新静将为中国芯片产业的态验发展注入新的活力。
静态验证作为一种业界普遍使用的证产验证方法，通过对设计的品提片设源代码进行深入分析，能够发现设计中的升芯潜在问题。与动态仿真验证和形式化验证相结合，计效静态验证可以显著提高验证的英诺覆盖率，帮助设计师在设计开发的布全早期阶段快速发现和诊断设计缺陷，从而有效缩短设计验证所需的新静时间，提升芯片设计的态验整体效率。
EnAltius®CDC跨域检查工具和Lint RTL代码检查工具正是证产基于这一理念而开发的。它们不仅能够为设计师提供更加全面、品提片设准确的升芯验证结果，还能够与英诺达现有的静态验证和分析EDA工具形成互补，共同构成一个完整的验证体系，为芯片设计提供全方位的支持。
此次两款新品的发布，进一步丰富了英诺达的产品线，也展示了英诺达在芯片设计工具领域的创新能力和技术实力。未来，英诺达将继续致力于为中国芯片产业的发展贡献更多的优质产品和服务。
(责任编辑：热点)
禾赛科技荣获四大重磅奖项
引领绿色创新 专访海信科龙副总裁贾少谦—万维家电网
奥克斯又出白皮书引发行业“地震”—万维家电网
政策解压 空调市场两极化趋势或将加速—万维家电网
京东方亮相2024世界显示产业创新发展大会推荐文章
-
随着 IT 领域的持续演变，新的趋势正在涌现并有望在 2025 年重塑企业对待技术的方式。从生成式 AI到数据主权，未来一年各行各业都将面临重新思考其战略以适应新变化的挑战。基于关键观察与行业信号，
...[详细]
-
【万维家电网 2月25日 北京报道】近日，国内空调行业爆出重磅新闻。格兰仕与上海日立、日本东芝半导体半导体达成变频合作协议，将联手出击变频空调市场，打造升级变频空调。据有关人士透露，这次合作规模将超
...[详细]
-
变频空调节能话题，业内一直津津乐道。每个进入变频行业的厂家都会标榜自己的变频空调有多节能，但是自家说好并不能取悦于消费者，整个行业无不翘首期待国家标准的出台来拨云见日。 2008年9月1日，国家颁布
...[详细]
-
国际市场原材料价格一路大跌，二线空调品牌最近频频发力，以低价商品争夺市场份额；“千元空调”的宣传词吸引了无数消费者关注期待。但记者发现，所谓“千元空调”目前在市场踪迹难寻；在很多被“忽悠”的消费者看
...[详细]
-
计算摄影时代，AI在手机拍摄场景中扮演着越来越重要的角色。高通始终致力于以强大的AI性能赋能终端侧影像发展，全新推出的骁龙8至尊版移动平台搭载第二代高通Oryon CPU和高通Hexagon NPU，
...[详细]
-
万维家电网2011年3月15日上海报道，盛况空前的2011中国家电博览会2011 APPLIANCE WORLD EXPO）在上海新国际博览中心举行，这一历史悠久的家电展会在“十二五”的开局之年，以
...[详细]
-
3月9日，海信冰洗空2011新品上市暨“科技盛惠传中国推广活动”启动仪式以青岛为主会场召开了全国视频发布会。会上，融合了“科技、时尚、绿色”于一体的海信白电高端精品新鲜亮相，同时宣布在全国启动“科技
...[详细]
-
万维家电网2011年3月16日上海报道，盛况空前的2011中国家电博览会2011 APPLIANCE WORLD EXPO）在上海新国际博览中心举行，这一历史悠久的家电展会在“十二五”的开局之年，以
...[详细]
-
滁州网讯近年来，南谯区乌衣镇坚持党建引领、多方联动，聚焦小区物业服务不到位、矛盾纠纷多发等痛点难点，开展物业服务突出问题整治，不断补齐小区治理短板，全面提升物业服务水平。乌衣镇深化红色物业建设，完善社
...[详细]
-
夏日炎炎酷暑难耐，进入7月后，天气越来越闷热，令人厌烦的“桑拿天”也开始频繁侵袭京城。面对着高温，家里如果没有台空调，真不知道怎么才能熬过这漫长的夏日。为了让万维家电网的各位网友买到价格优惠的空调产品
...[详细]
热点阅读
