英诺达发布全新静态验证产品，提升芯片设计效率
2026-07-10 21:57:19 [探索] 来源：上海伊乐会展有限公司
英诺达(成都)电子科技有限公司近日正式推出了两款全新的英诺静态验证EDA工具——EnAltius®CDC跨域检查工具和Lint RTL代码检查工具。这两款产品的布全发布，标志着英诺达在芯片设计工具领域迈出了重要一步，新静将为中国芯片产业的态验发展注入新的活力。
静态验证作为一种业界普遍使用的证产验证方法，通过对设计的品提片设源代码进行深入分析，能够发现设计中的升芯潜在问题。与动态仿真验证和形式化验证相结合，计效静态验证可以显著提高验证的英诺覆盖率，帮助设计师在设计开发的布全早期阶段快速发现和诊断设计缺陷，从而有效缩短设计验证所需的新静时间，提升芯片设计的态验整体效率。
EnAltius®CDC跨域检查工具和Lint RTL代码检查工具正是证产基于这一理念而开发的。它们不仅能够为设计师提供更加全面、品提片设准确的升芯验证结果，还能够与英诺达现有的静态验证和分析EDA工具形成互补，共同构成一个完整的验证体系，为芯片设计提供全方位的支持。
此次两款新品的发布，进一步丰富了英诺达的产品线，也展示了英诺达在芯片设计工具领域的创新能力和技术实力。未来，英诺达将继续致力于为中国芯片产业的发展贡献更多的优质产品和服务。
(责任编辑：综合)
英诺迅发布新品功率放大器YP601241T
广东空调企业出口量已经成额双增长—万维家电网
美的扩张白电版图 发力商用空调市场—万维家电网
常州惠普推出涂装喷房专用循环供风空调器—万维家电网
高通推出骁龙8至尊版推荐文章
-
贸泽电子(Mouser Electronics)，作为业界知名的半导体和电子元器件新品引入(NPI)代理商，近日宣布与Same Sky(原CUI Devices)建立全球授权代理合作关系。Same S
...[详细]
-
继“睡梦宝”之后，近日格力电器又重金打造一款高端卧室空调，直流变频“睡美人”空调在全球同步上市。 格力电器相关人士介绍，格力“睡美人”在房间温度达到用户设定值后，空调压缩机便以低功耗和低转速运转，让室
...[详细]
-
１１月６日专电 日本大金工业公司生产的“ｕｒｕｒｕ＆ｓａｌａｌａＲ系列）”新款节能增湿家用空调将于１１月底上市销售，市场零售价格在１８万日元至３２．８万日元之间１美元约合１１５日元）。 据悉，这款空调
...[详细]
-
日前，新科空调惊艳亮相的08新品：V、X、雷达三大系列已在全国各地掀起了一股炫彩上市引发的抢购热潮，让原来冷清的空调销售淡季迅速燃烧起来，也掀开国内空调业2008年新品扎堆上市的大幕。靓丽多彩的面板、
...[详细]
-
近日，燧原科技创新研究院首席研究员石恒博士受邀在2024中国人工智能大会的“AI芯片与智能计算创新生态”专题论坛上，发表了《面向AI芯片的高性能计算核领域特定语言探索》的主题演讲。2024中国人工智能
...[详细]
-
N丁子 "空调厂家现在忙什么呢?" "忙着新品上柜和宣传。" 不论是连锁卖场,还是空调制造商,都给出了这样的答案。 2008冷冻年度的空调新品已纷纷上柜走向消费者,其流行特点也已显山露水。节能也好、
...[详细]
-
一如2007年股市的牛气冲天，强势品牌空调也迎来了自己的“牛市”。权威统计数据显示，国内前十强空调品牌已牢牢占据了86.51%的市场份额。其中，格力、海尔、格兰仕等品牌共约占市场份额的一半，继续领跑。
...[详细]
-
继首批限量珍藏版′08奥运风空调上市后出现市民排队、甚至交全款预定的购买热潮后，海尔奥运空调再次成为市场消费热点，上市仅一个月其柜、挂机分别勇夺中高端市场单型号销量第一名。昨日，记者从国家信息中心信息
...[详细]
-
量子计算具有变革药物发现、物流等各行各业的巨大潜力。然而，噪声一直是量子器件在投入实际应用的过程中所面临的巨大障碍。由于存在这些因环境相互作用和不完美硬件导致的噪声干扰，量子计算的性能目前在量子比特仅
...[详细]
-
国内宏观经济利好，居民收入增加，消费结构升级，空调产品更新需求进入高发期，二三级城市增长空间巨大，良好的内外部环境推动着空调业进一步朝着理性务实方向迈进。自08开盘至今，过去频现的“价格战”、“广告战
...[详细]
热点阅读
