AI创新领航，打造国产基础软件新高地｜泛联新安完成新一轮战略融资

近日，国产开发支撑类基础软件领导企业泛联新安完成新一轮战略融资。公司多条产品线突破发展，进入全面提速阶段。

本轮融资由钧犀资本、兴湘资本、壹同创投联合完成。此次融资，泛联新安将持续深耕程序分析技术，通过深度融合大模型技术开展核心技术和解决方案的双重创新，加速成为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研发效能大模型，具备多项目辅助开发功能，全面提高软件开发和测试效能。另一方面，泛联新安已逐步将大模型技术融合至全矩阵产品，全面提升产品能力和效率，为合作伙伴创造更高的商业价值。