近日,国产开发支撑类基础软件领导企业泛联新安完成新一轮战略融资。公司多条产品线突破发展,进入全面提速阶段。
本轮融资由钧犀资本、兴湘资本、壹同创投联合完成。此次融资,泛联新安将持续深耕程序分析技术,通过深度融合大模型技术开展核心技术和解决方案的双重创新,加速成为AI驱动的软硬件开发支撑工具领导厂商,全力实现“AI For Better Code”的企业使命。
本轮融资进一步汇聚了产业投资机构、地方基金、知名财务投资机构等各方力量,可助力泛联新安继续发挥自身优势,将技术进步与行业属性深度耦合,加速抢占国防军工、高端制造、金融政企、芯片设计等具高可靠、高安全刚需属性的关键市场领域。
01 产品矩阵丰富,以“国产软件测试工具头部”引领行业创新
泛联新安自2017年成立,以程序分析专家为核心能力定位,布局软件质量测试、软件安全测试、数字IC验证等三条产品线,截至目前已有十多款成熟产品推向市场,主打产品核心技术指标已领先国际先进水平,成为国内发展早、规模大、产品全、技术强的软件测试工具领导者。
2022及2023年,泛联新安连续两年牵头撰写《网信自主创新调研报告》软件测试工具篇章,引领国产自主软件测试工具不断发展。
02 验证EDA工具的厚积薄发
泛联新安作为国内最早从事验证EDA工具研发的厂商之一,自2018年开始便组建专业团队,致力于国产IC/FPGA数字前端设计验证工具的研发,解决我国EDA领域卡脖子问题。截至目前,公司已陆续推出多款自主可控的EDA产品,覆盖全场景数字前端验证软硬件平台,包括静态规则检查类工具、软件仿真工具、硬件加速仿真工具和原型验证工具等。
其中成熟产品,如静态规则检查类工具VHawk-Lint以及跨时钟域分析工具VHawk-CDC,凭借完全自主的知识产权和出色的性能,已经在国内市场赢得广泛认可,成功服务于数十家客户。
其他在研产品,经过不断打磨,已蓄势待发。原型验证系统-InfinitPro,计划于2024年底正式发布,基于世界一流的超算网络硬件架构和云原生软件架构,软硬件核心技术可溯源,该产品仿真容量、仿真性能、调试能力等关键指标均达到国际领先水平。
03拥抱大模型,全面实施AI战略
近年来,越来越多的人工智能技术已成功应用于各种软件工程活动,如软件测试、缺陷预测、故障定位、自动修复、自动代码生成与补全等。而大模型也与软件工程各环节深度融合,为软件工程全生命周期流程带来革新,新一代智能化软件工程(AI4SE)进入快速发展期。
面对趋势,泛联新安研发团队认识到,软件测试在AI与软件工程的融合中不仅是质量把关的关键环节,也是推动技术创新和提升开发效率的重要力量。泛联新安研发团队较早地制定了“拥抱大模型,全面实施AI战略”的方针,并高效贯彻落地,今年已有显著成果。一方面,泛联新安将于近期正式发布DTCoder研发效能大模型,具备多项目辅助开发功能,全面提高软件开发和测试效能。另一方面,泛联新安已逐步将大模型技术融合至全矩阵产品,全面提升产品能力和效率,为合作伙伴创造更高的商业价值。