近日，國產開發支撐類基礎軟件領導企業泛聯新安完成新一輪戰略融資。公司多條產品線突破發展，進入全面提速階段。

本輪融資由鈞犀資本、興湘資本、壹同創投聯合完成。此次融資，泛聯新安將持續深耕程序分析技術，通過深度融合大模型技術開展核心技術和解決方案的雙重創新，加速成為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研發效能大模型，具備多項目輔助開發功能，全面提高軟件開發和測試效能。另一方面，泛聯新安已逐步將大模型技術融合至全矩陣產品，全面提升產品能力和效率，為合作伙伴創造更高的商業價值。

       原文標題 : AI創新領航，打造國產基礎軟件新高地｜泛聯新安完成新一輪戰略融資