近日,EDA(集成电路设计工具)智能软件和系统领先企业芯华章科技正式宣布,与AI芯片行业技术领军企业鲲云科技达成战略合作,采用芯华章的形式化验证工具穹瀚(GalaxFV),提升新一代复杂AI芯片的设计验证效率,进一步保障复杂AI芯片的功能和可靠性。


摩尔定律时代下,由于集成电路规模不断扩大、复杂度日益提高,芯片前端验证技术面临一系列的巨大挑战。特别是复杂AI芯片设计中,众多控制密集型单元、协议复杂的接口模块等都对可靠性要求极高。传统基于电路的仿真技术,无法实现对极端情况的验证覆盖,且面临仿真时间过长、测试环境搭建困难等诸多问题,导致验证覆盖率的收敛一直困扰着AI芯片设计效率进一步提升。


鲲云科技首席技术官蔡权雄表示:“我们采用芯华章的穹瀚(GalaxFV)形式化验证工具,通过数学方法快速检查逻辑以及属性的正确性,大大提高了覆盖率目标实现的效率,对工程应用有很高的价值。未来,我们将与芯华章保持长期合作,共同以最前沿的技术赋能人工智能芯片设计,提供更高性能、更高算力、更加可靠的芯片和系统级产品。”


作为国内率先采用高性能字级建模(Word-Level Modeling)方法构建的形式化验证工具,芯华章穹瀚(GalaxFV)可将百万行级别的设计代码转化为数学模型,把验证问题转化成数学求解问题,然后依靠求解器进行求解,并搭载高并发高性能求解器、智能调度算法引擎以及专用断言库,可在充分利用算力,提高并行效率的同时,让更多用户能够快速上手,在项目开发初期,就尽早地发现问题并快速修复。


芯华章科技验证工程副总裁朱洪辰表示,“芯华章一直致力于为客户提供安全可靠的验证解决方案,通过技术创新,精准解决用户实践痛点,以应对日益复杂的芯片设计挑战。此次,我们非常荣幸能与技术领先的鲲云科技共同部署面向人工智能领域的战略性技术研发,加快中国AI技术产业化落地,赋能中国集成电路和人工智能产业,推动数字经济增长。”