1793
近日，国际权威的独立第三方检测和认证机构德国莱茵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的成功认证是我们在汽车电子领域不懈努力的成果。未来，芯华章将继续携手行业伙伴，推动汽车芯片设计迈向更高安全标准，成为汽车制造商和供应商值得信赖的安全开发伙伴。”
