近日，国际权威的独立第三方检测和认证机构德国莱茵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ÜV莱茵

德国莱茵TÜV 集团成立于1872年，是国际领先的检测、检验、认证、培训、咨询服务提供商，拥有2万多名专家员工，服务网络遍布全球，致力于推动人员、技术、环境实现安全、可靠、高效的互动。

TÜV莱茵的功能安全及网络安全专家，均为研发出身，凭借在安全系统领域的多年研发经验和对标准的精确理解以及多年网络安全认证经验，获得了行业内的高度肯定和信任。TÜV莱茵是最早在中国开展网络安全和功能安全业务的国际第三方认证机构之一，作为核心编委会成员参与了标准制定。

TÜV莱茵一直是汽车检测认证领域的领导者，可为整车厂和零部件供应商提供一站式解决方案。在汽车功能安全和网络安全领域，TÜV莱茵提供的服务涵盖ISO/SAE 21434、ISO 26262、Automotive SPICE、GDPR，渗透测试等，满足企业“全面安全”的需要。