近日，EDA（集成电路设计工具）智能软件和系统领先企业芯华章科技正式宣布，与AI芯片行业技术领军企业鲲云科技达成战略合作，采用芯华章的形式化验证工具穹瀚(GalaxFV)，提升新一代复杂AI芯片的设计验证效率，进一步保障复杂AI芯片的功能和可靠性。
后摩尔定律时代下，由于集成电路规模不断扩大、复杂度日益提高，芯片前端验证技术面临一系列的巨大挑战。特别是复杂AI芯片设计中，众多控制密集型单元、协议复杂的接口模块等都对可靠性要求极高。传统基于电路的仿真技术，无法实现对极端情况的验证覆盖，且面临仿真时间过长、测试环境搭建困难等诸多问题，导致验证覆盖率的收敛一直困扰着AI芯片设计效率进一步提升。
鲲云科技首席技术官蔡权雄：“我们采用芯华章的穹瀚(GalaxFV)形式化验证工具，通过数学方法快速检查逻辑以及属性的正确性，大大提高了覆盖率目标实现的效率，对工程应用有很高的价值。未来，我们将与芯华章保持长期合作，共同以最前沿的技术赋能人工智能芯片设计，提供更高性能、更高算力、更加可靠的芯片和系统级产品。”
作为国内率先采用高性能字级建模（Word-Level Modeling）方法构建的形式化验证工具，芯华章穹瀚（GalaxFV）可将百万行级别的设计代码转化为数学模型，把验证问题转化成数学求解问题，然后依靠求解器进行求解，并搭载高并发高性能求解器、智能调度算法引擎以及专用断言库，可在充分利用算力，提高并行效率的同时，让更多用户能够快速上手，在项目开发初期，就尽早地发现问题并快速修复。
芯华章科技验证工程副总裁朱洪辰：“芯华章一直致力于为客户提供安全可靠的验证解决方案，通过技术创新，精准解决用户实践痛点，以应对日益复杂的芯片设计挑战。此次，我们非常荣幸能与技术领先的鲲云科技共同部署面向人工智能领域的战略性技术研发，加快中国AI技术产业化落地，赋能中国集成电路和人工智能产业，推动数字经济增长。”
关于鲲云科技
鲲云科技是一家技术领先的人工智能公司，以数据流技术为核心，提供高性能低延时、高通用性、高算力性价比的下一代人工智能计算平台和软硬一体化的平台解决方案，加速人工智能技术在智慧城市、智慧安监、智能制造、自动驾驶等领域的落地。
目前，鲲云的服务对象涵盖国家电网、南方电网、中科院、中国商飞、中国石化、中国石油等行业头部企业，并且已与英特尔、浪潮信息、DELL、中国联通、飞腾以及国内外多个知名高校达成合作关系，加速AI技术产业化落地。
关于芯华章科技
芯华章聚集全球EDA行业精英和尖端科技领域人才，以智能调试、智能编译、智能验证座舱、智能云原生等技术支柱，构建芯华章平台底座，提供全面覆盖数字芯片验证需求的七大产品系列，包括：硬件仿真系统、FPGA原型验证系统、智能场景验证、形式验证、逻辑仿真、系统调试以及验证云，为合作伙伴提供自主研发、安全可靠的芯片产业解决方案与专家级顾问服务。同时，芯华章致力于面向未来的EDA 2.0 软件和智能化电子设计平台的研究与开发，以技术革新加速芯片创新效率，让芯片设计更简单、更普惠。
