英诺达发布全新静态验证产品，提升芯片设计效率
2026-07-10 21:43:46 [知识] 来源：福州鑫辉文化传媒有限公司
英诺达(成都)电子科技有限公司近日正式推出了两款全新的英诺静态验证EDA工具——EnAltius®CDC跨域检查工具和Lint RTL代码检查工具。这两款产品的布全发布，标志着英诺达在芯片设计工具领域迈出了重要一步，新静将为中国芯片产业的态验发展注入新的活力。
静态验证作为一种业界普遍使用的证产验证方法，通过对设计的品提片设源代码进行深入分析，能够发现设计中的升芯潜在问题。与动态仿真验证和形式化验证相结合，计效静态验证可以显著提高验证的英诺覆盖率，帮助设计师在设计开发的布全早期阶段快速发现和诊断设计缺陷，从而有效缩短设计验证所需的新静时间，提升芯片设计的态验整体效率。
EnAltius®CDC跨域检查工具和Lint RTL代码检查工具正是证产基于这一理念而开发的。它们不仅能够为设计师提供更加全面、品提片设准确的升芯验证结果，还能够与英诺达现有的静态验证和分析EDA工具形成互补，共同构成一个完整的验证体系，为芯片设计提供全方位的支持。
此次两款新品的发布，进一步丰富了英诺达的产品线，也展示了英诺达在芯片设计工具领域的创新能力和技术实力。未来，英诺达将继续致力于为中国芯片产业的发展贡献更多的优质产品和服务。
(责任编辑：知识)
英诺迅发布新品功率放大器YP601241T
中国空调市场明年将现五大发展热点—万维家电网
才茂通信推出两款自动驾驶专用5G工业路由器
消费提醒：空调补制冷剂小心陷阱—万维家电网
乌衣镇多措并举提升物业服务水平_推荐文章
-
Littelfuse公司，一家专注于推动可持续、互联与更安全世界的工业技术制造领导者，近期隆重推出了C&K Switches品牌的EITS系列直角照明轻触开关。这一系列开关产品的问世，为众多复杂电子应
...[详细]
-
如今，在MCU上实现AI推理，已经不新鲜；与此同时，在MCU上进行深度强化学习训练，也已成为技术探索的新方向，吸引着嵌入式开发者的目光。感知环境 → 尝试行动 → 接收反馈 → 持续优化，在不断试错中
...[详细]
-
要点•骁龙START计划将硬件模块和兼容各类AI框架的完整软件栈，以及制造商合作伙伴的网络相结合，让品牌、企业级组织和新兴创作者能够专注于产品设计和用户体验。•该计划支持面向消费者和企业的品牌设计并规
...[详细]
-
来源：纳芯微电子随着汽车电动化、智能化、网联化持续深入，电流、位置、角度、速度等核心状态感知需求快速攀升，磁传感器已成为汽车电子系统的基础器件。据Yole Group《2026 磁传感器产业报告》预测
...[详细]
-
新华社联合国7月8日电记者尚绪谦）联合国秘书长古特雷斯的发言人迪雅里克8日表示，古特雷斯对美国和伊朗重启战端表示震惊、呼吁降级紧张局势。迪雅里克在当天的例行记者吹风会上说，美伊之间已取得的外交成果正面
...[详细]
-
磁传感器全球出货量市场份额TOP 4！编码器芯片±0.02°精度直击人形机器人关节痛点
电子发烧友网报道文/莫婷婷）2026年，人形机器人正加速跨越实验室的边界，迈向规模化应用的新阶段。研报机构的预测，相关技术革新与产业演进将在今年迎来更为迅猛的爆发式增长。模拟芯片作为连接物理世界与数字
...[详细]
-
从2005年9月1日开始，所有冰箱、空调必须贴能效标识才能上市销售。然而，记者昨日在京城部分家电卖场还是发现有没贴、乱贴能效标识的现象。甚至有一个空调贴了五个标签。 2005年9月1日走访了和平
...[详细]
-
近日，天合光能与Ecohope Solar正式签署合作备忘录MoU）。根据协议，未来三年内，天合光能将向其供应600MW至尊3代系列组件，以满足分布式光伏项目对高效组件不断增长的需求。此次合作标志着天
...[详细]
-
Microchip推出12按钮MTCH2120交钥匙触摸控制器
为了助力设计人员快速将机械按钮升级为现代触摸按钮或显示屏，MicrochipTechnology Inc.(微芯科技公司)近期推出了12按钮MTCH2120交钥匙触摸控制器。这一创新产品为设计人员提供
...[详细]
-
前不久，一则消息在科技圈炸开了锅。特朗普家族被曝涉足AI中转站生意，用一种近乎黄牛的方式，将海外AI大模型的服务倒卖给无法直接访问的用户。同一份名单上，还出现了猎豹移动CEO傅盛、币圈名人孙宇晨的名字
...[详细]
热点阅读
