最近，德国莱茵T是国际权威的独立第三方检测和认证机构ÜV集团正式授予圆瀚GalaxFV芯华章形式验证工具 ISO 26262 TCL3功能安全认证。 ” 最近，国际权威的独立第三方检测和认证机构德国莱茵TÜV集团正式授予圆瀚GalaxFV芯华章形式验证工具 ISO 26262 TCL3功能安全认证。继芯华章逻辑模拟工具穹顶GalaxSim之后，芯华章又一个系统级EDA验证工具，可支持汽车安全标准中最高级别的ASIL D级芯片开发验证。这意味着汽车客户可以借助GalaxFV加快其复杂系统级芯片的开发和验证，这对整车安全非常重要，以满足ISO要求 26262标准的安全和系统要求。 据了解，ISO 26262是全球公认的汽车功能安全标准，涵盖了汽车半导体的整个生命周期，因此成为汽车规则电子量产上车的必要条件。TCL3代表最高的可信度要求。它要求工具在设计、验证和维护过程中遵循严格的开发过程和质量标准。穹顶GalaxFV经过一系列复杂的评估和测试，证明了其在汽车关键芯片开发方面具有可靠的支持能力。日益增长的汽车功能安全需求和日益复杂的汽车级芯片设计对验证自动化提出了更高的需求。同时，半导体公司需要通过ISO向汽车客户提供服务 26262认证产品，预计验证工作量将增加2-3倍。一种高效的验证工具，不仅能让客户节省大量的验证费用，还能在激烈的市场竞争中赢得宝贵的时间窗口。穹顶GalaxFV采用字级建模技术，能够准确地表示和操作大型数据结构。在处理复杂的大芯片设计时，该建模方法可以有效地降低客户设计模型的复杂性，从而加快验证速度。同时，高度并发的验证引擎支持使用更多的计算资源并发求解，也保证了验证收敛更快，缩短了验证周期。因此，穹顶GalaxFV借助芯华章形式验证高效引擎 能够系统地探索设计的所有可能状态，达到更高的验证覆盖率。结合以上技术特点，穹顶GalaxFV在众多客户的设计过程中给出了出色的性能。与现有的正式验证工具相比，测量性能超过20%至100%，有助于汽车芯片设计师在早期阶段识别和解决潜在的安全问题，从而降低整体开发风险，加快产品上市进程。同时，GalaxFV还在RISC-V处理器验证、代码可达性验证等领域提供垂直应用，为用户提供更完整的验证解决方案。德国莱茵TÜV工业服务信息安全副总经理杨嘉悦表示：“随着汽车工业向电气化、智能化、网络化的快速发展，对汽车芯片的安全性和可靠性要求越来越高。我们认为，芯华章穹顶GalaxFV的高效性能和验证精度可以为满足汽车电子系统日益增长的安全需求提供强有力的支持。“我们一直致力于将最高标准的国际安全规范融入到产品设计中，”芯华章科技高级产品与业务规划总监杨烨说。圆瀚GalaxFV的成功认证是我们在汽车电子领域不懈努力的结果。未来，新华章将继续与行业合作伙伴合作，将汽车芯片设计推向更高的安全标准，成为汽车制造商和供应商可靠的安全开发合作伙伴。“作为国内数字芯片EDA验证全过程解决方案的提供商，芯华章芯华章也是中国EDA第一家在汽车电子垂直行业布局的公司 公司。芯华章建立了从芯片到系统的敏捷验证工具链，基于平台、智能、云底层结构发布了十多种商业级验证产品，完全覆盖了数字芯片原型验证、场景验证、形式验证、逻辑模拟、系统调试等功能，拥有180多项独立研发专利申请。以汽车规则服务为重点，新华章成立了汽车解决方案专家团队，建立了芯片公司、Tier1、主机厂之间的无缝沟通桥致力于让现金车使用上下一代芯片。公司与国家新能源汽车技术创新中心、中国汽车中心等汽车工业生态合作伙伴合作，加快完善系统，验证产品在汽车电子领域的应用，并在2023年战略投资海外汽车电子解决方案企业Optima，为客户提供更灵活、高效的汽车级设计验证和咨询服务。关于TÜ德国莱茵TV莱茵ÜV 集团成立于1872年，是世界领先的测试、测试、认证、培训和咨询服务提供商。拥有2万多名专家和员工，服务网络遍布世界各地，致力于促进安全、可靠、高效的人员、技术和环境互动。TÜV莱茵的功能安全和网络安全专家都是研发专家。凭借多年在安全系统领域的研发经验、对标准的准确理解和多年的网络安全认证经验，在业界得到了高度的认可和信任。TÜV莱茵是中国最早开展网络安全和功能安全业务的国际第三方认证机构之一，作为核心编委会成员参与了标准的制定。TÜV莱茵一直是汽车检测和认证领域的领导者，可以为汽车制造商和零部件供应商提供一站式解决方案。在汽车功能安全和网络安全领域，TÜV莱茵提供的服务包括ISO/SAE 21434、ISO 26262、Automotive SPICE、GDPR，渗透试验等，满足企业“全面安全”的需要。