英诺达发布全新静态验证产品，提升芯片设计效率
2026-07-10 13:36:48 [休闲] 来源：上海贸通国际展览服务有限公司
英诺达(成都)电子科技有限公司近日正式推出了两款全新的英诺静态验证EDA工具——EnAltius®CDC跨域检查工具和Lint RTL代码检查工具。这两款产品的布全发布，标志着英诺达在芯片设计工具领域迈出了重要一步，新静将为中国芯片产业的态验发展注入新的活力。
静态验证作为一种业界普遍使用的证产验证方法，通过对设计的品提片设源代码进行深入分析，能够发现设计中的升芯潜在问题。与动态仿真验证和形式化验证相结合，计效静态验证可以显著提高验证的英诺覆盖率，帮助设计师在设计开发的布全早期阶段快速发现和诊断设计缺陷，从而有效缩短设计验证所需的新静时间，提升芯片设计的态验整体效率。
EnAltius®CDC跨域检查工具和Lint RTL代码检查工具正是证产基于这一理念而开发的。它们不仅能够为设计师提供更加全面、品提片设准确的升芯验证结果，还能够与英诺达现有的静态验证和分析EDA工具形成互补，共同构成一个完整的验证体系，为芯片设计提供全方位的支持。
此次两款新品的发布，进一步丰富了英诺达的产品线，也展示了英诺达在芯片设计工具领域的创新能力和技术实力。未来，英诺达将继续致力于为中国芯片产业的发展贡献更多的优质产品和服务。
(责任编辑：时尚)
老年痴呆盯上年轻人？专家详解如何防治记忆衰减
设计周“四星合璧” 卡萨帝演绎“匠心精神”—万维家电网
健康全方位 松下VE怡爵空调打造健康生活—万维家电网
海尔在世界互联网工业大会秀U+智慧生态圈—万维家电网
季丰电子推出200TPI高精度探针座推荐文章
-
计算摄影时代，AI在手机拍摄场景中扮演着越来越重要的角色。高通始终致力于以强大的AI性能赋能终端侧影像发展，全新推出的骁龙8至尊版移动平台搭载第二代高通Oryon CPU和高通Hexagon NPU，
...[详细]
-
当今社会，伴随环境污染、能源短缺等现象加剧，健康家电的概念愈发深入人心。9月23日，松下空调在广州隆重召开主题为“携手共进，共创未来”2016年松下健康空调新商品发布会，松下原装进口空调首次亮相，给予
...[详细]
-
当今社会，伴随环境污染、能源短缺等现象加剧，健康家电的概念愈发深入人心。9月23日，松下空调在广州隆重召开主题为“携手共进，共创未来”2016年松下健康空调新商品发布会，松下原装进口空调首次亮相，给予
...[详细]
-
11月22日，卡萨帝第五届创艺大赛启动仪式暨青岛站宣讲活动在青岛创客大街举行，正式拉开全国18站赛事的序幕。宣讲会在青岛创客大街B座1楼召开，吸引众多岛城创客们的关注。 受邀出席的嘉宾有共青团青岛市
...[详细]
-
七成受访青年感觉太多虚拟社交让人更孤独 编辑：汤晓雪 来源：中国青年
...[详细]
-
如今，市面上各种智能硬件产品百花齐放，其中当然也不乏可以改善睡眠的智能床垫，但目前的智能床垫一般都是通过监测睡眠状况并产生相关数据分析报告。来自佛罗里达的Health o meter 另辟蹊径，从用户
...[详细]
-
GMCCR290大排量旋转压缩机获中国专利优秀奖—万维家电网
近日，第十七届中国专利奖评审结果公示，GMCC R290大排量旋转式压缩机技术，可以大幅降低冷媒充灌量，满足R290大排量机种的应用，获颁“中国发明专利优秀奖”。中国专利奖是由我国知识产权局和世界
...[详细]
-
“通过对比来看，海尔空调的品质值得信赖。”10月15日，在秋季广交会上，以挑剔著称的乌兹别克斯坦客商Vasiliy现场对海尔帝樽空调进行拆机，在对比了海尔帝樽空调和其他品牌的过滤网后如此评价道。据悉
...[详细]
-
近日，苹果首席执行官蒂姆·库克在接受采访时，针对AI收费问题给出了明确的答复。他表示，苹果内部从未讨论过将AI作为收费项目的可能性。在库克看来，AI技术就如同多点触控技术一样，是推动技术革命的重要基础
...[详细]
-
9月23日，卡萨帝在上海举办品牌发布会，颠覆性地推出了首个用户定义的高端家电制造标准，同时发布了以此标准设计的首款卡萨帝空调——云鼎空调，正式发力空调行业。 对于“云鼎”一名的含义，发布会上相关负
...[详细]
热点阅读
