英诺达发布全新静态验证产品，提升芯片设计效率
英诺达(成都)电子科技有限公司近日正式推出了两款全新的英诺静态验证EDA工具——EnAltius®CDC跨域检查工具和Lint RTL代码检查工具。这两款产品的布全发布，标志着英诺达在芯片设计工具领域迈出了重要一步，新静将为中国芯片产业的态验发展注入新的活力。
静态验证作为一种业界普遍使用的证产验证方法，通过对设计的品提片设源代码进行深入分析，能够发现设计中的升芯潜在问题。与动态仿真验证和形式化验证相结合，计效静态验证可以显著提高验证的英诺覆盖率，帮助设计师在设计开发的布全早期阶段快速发现和诊断设计缺陷，从而有效缩短设计验证所需的新静时间，提升芯片设计的态验整体效率。
EnAltius®CDC跨域检查工具和Lint RTL代码检查工具正是证产基于这一理念而开发的。它们不仅能够为设计师提供更加全面、品提片设准确的升芯验证结果，还能够与英诺达现有的静态验证和分析EDA工具形成互补，共同构成一个完整的验证体系，为芯片设计提供全方位的支持。
此次两款新品的发布，进一步丰富了英诺达的产品线，也展示了英诺达在芯片设计工具领域的创新能力和技术实力。未来，英诺达将继续致力于为中国芯片产业的发展贡献更多的优质产品和服务。
(责任编辑：热点)
关于理想汽车的车辆OTA机制问题
金秋十月 奥克斯空调冷暖两相宜—万维家电网
海尔空调颠覆商业模式 以卖方案创造新行规—万维家电网
奥克斯“清净能”空调为什么卖断货？—万维家电网
禾赛科技荣获四大重磅奖项推荐文章
-
佐思汽研发布《中国汽车传感器技术与数据趋势月度监测报告2024年第10期）》。前10月舱内监控摄像头安装量达478.2万颗，同比增长77.9%2024年1-10月，舱内监控摄像头含DMS+OMS）安装
...[详细]
-
据湖南卫视内部消息透露，目前湖南卫视正在与著名空调厂商奥克斯携手打造一档大型娱乐栏目，其娱乐性将超过《快乐男声》，成为湖南卫视今年赢取收视率的秘密武器。对于栏目的首期嘉宾，据奥克斯市场部透露，奥克斯
...[详细]
-
在广州市场，奥克斯自从推出一款型号为SF的“清净能”系列新款健康空调，便以迅雷不及掩耳之势迅速占据了空调市场的制高点。 这款奥克斯SF“清净能”空调外观典雅时尚、印花面板。采用：ABS高亮白工程塑胶
...[详细]
-
在北京举行的奥克斯壹系列空调上市新闻发布会上，奥克斯携手李连杰推出了全新变频壹系列空调。据悉，奥克斯壹系列空调最高能效比高达6.5，是目前市场上所销售的能效比最高的空调产品。 业内专家表示，空调能效
...[详细]
-
IPO撤单潮！10月至今5家半导体企业终止上市，涉及射频、AI等企业
电子发烧友网报道文/莫婷婷）在证监会阶段性收紧IPO节奏下，半导体企业IPO进度普遍放缓，2024年IPO审核趋严，甚至出现扎堆撤单潮。根据Wind统计的数据，今年以来截至2024年12月3日，A股市
...[详细]
-
2009年，国际金融危机蔓延，国内外市场紧缩，各大家电厂家的销售量大幅下降。在这样的背景下，格兰仕空调却在国内空调市场逆势上扬，取得了销量增长254%的成绩，成为2009年中国空调最具成长性品牌。2
...[详细]
-
本网讯 4月16日下午，由中国电子报社主办、中国家用电器协会及中国标准化研究院能效标识管理中心支持的“2010年中国空调产业年会暨低碳宣言签署仪式”在北京举行。海尔空调以在无氟变频技术、品质、市场推
...[详细]
-
5月30日，国家信息中心信息资源开发部在京举办“变频技术暨空调产业发展趋势研讨会”。会上公布的数据显示，目前在重点城市，91.5%的消费者认同变频空调技术含量高、耗电量低、舒适程度高的优点，并表示在
...[详细]
-
近期，有网友比较关心理想汽车的车辆OTA机制，针对大家关心的问题，我们整理出以下问答供大家了解。Q1智能汽车的OTA是什么意思？智能汽车的OTA，全称为空中下载技术Over-the-Air Techn
...[详细]
-
2008年9月1日，国家颁布了变频能效标准。随后在10月17日正式颁布了相对应的能效标识细则。该文件规定，所有市场在销的变频空调最迟在前必须全部张贴能效标识，届时，能效比不达标的空调产品将禁止上市销
...[详细]
热点阅读
