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

本輪融資由鈞犀資本、興湘資本、壹同創(chuàng)投聯(lián)合完成。此次融資，泛聯(lián)新安將持續(xù)深耕程序分析技術，通過深度融合大模型技術開展核心技術和解決方案的雙重創(chuàng)新，加速成為AI驅動的軟硬件開發(fā)支撐工具領導廠商，全力實現(xiàn)“AI For Better Code”的企業(yè)使命。

本輪融資進一步匯聚了產業(yè)投資機構、地方基金、知名財務投資機構等各方力量，可助力泛聯(lián)新安繼續(xù)發(fā)揮自身優(yōu)勢，將技術進步與行業(yè)屬性深度耦合，加速搶占國防軍工、高端制造、金融政企、芯片設計等具高可靠、高安全剛需屬性的關鍵市場領域。

01??產品矩陣豐富，以“國產軟件測試工具頭部”引領行業(yè)創(chuàng)新

泛聯(lián)新安自2017年成立，以程序分析專家為核心能力定位，布局軟件質量測試、軟件安全測試、數(shù)字IC驗證等三條產品線，截至目前已有十多款成熟產品推向市場，主打產品核心技術指標已領先國際先進水平，成為國內發(fā)展早、規(guī)模大、產品全、技術強的軟件測試工具領導者。

2022及2023年，泛聯(lián)新安連續(xù)兩年牽頭撰寫《網信自主創(chuàng)新調研報告》軟件測試工具篇章，引領國產自主軟件測試工具不斷發(fā)展。

02?驗證EDA工具的厚積薄發(fā)

泛聯(lián)新安作為國內最早從事驗證EDA工具研發(fā)的廠商之一，自2018年開始便組建專業(yè)團隊，致力于國產IC/FPGA數(shù)字前端設計驗證工具的研發(fā)，解決我國EDA領域卡脖子問題。截至目前，公司已陸續(xù)推出多款自主可控的EDA產品，覆蓋全場景數(shù)字前端驗證軟硬件平臺，包括靜態(tài)規(guī)則檢查類工具、軟件仿真工具、硬件加速仿真工具和原型驗證工具等。

其中成熟產品，如靜態(tài)規(guī)則檢查類工具VHawk-Lint以及跨時鐘域分析工具VHawk-CDC，憑借完全自主的知識產權和出色的性能，已經在國內市場贏得廣泛認可，成功服務于數(shù)十家客戶。

其他在研產品，經過不斷打磨，已蓄勢待發(fā)。原型驗證系統(tǒng)-InfinitPro，計劃于2024年底正式發(fā)布，基于世界一流的超算網絡硬件架構和云原生軟件架構，軟硬件核心技術可溯源，該產品仿真容量、仿真性能、調試能力等關鍵指標均達到國際領先水平。

03擁抱大模型，全面實施AI戰(zhàn)略

近年來，越來越多的人工智能技術已成功應用于各種軟件工程活動，如軟件測試、缺陷預測、故障定位、自動修復、自動代碼生成與補全等。而大模型也與軟件工程各環(huán)節(jié)深度融合，為軟件工程全生命周期流程帶來革新，新一代智能化軟件工程（AI4SE）進入快速發(fā)展期。

面對趨勢，泛聯(lián)新安研發(fā)團隊認識到，軟件測試在AI與軟件工程的融合中不僅是質量把關的關鍵環(huán)節(jié)，也是推動技術創(chuàng)新和提升開發(fā)效率的重要力量。泛聯(lián)新安研發(fā)團隊較早地制定了“擁抱大模型，全面實施AI戰(zhàn)略”的方針，并高效貫徹落地，今年已有顯著成果。一方面，泛聯(lián)新安將于近期正式發(fā)布DTCoder研發(fā)效能大模型，具備多項目輔助開發(fā)功能，全面提高軟件開發(fā)和測試效能。另一方面，泛聯(lián)新安已逐步將大模型技術融合至全矩陣產品，全面提升產品能力和效率，為合作伙伴創(chuàng)造更高的商業(yè)價值。

       原文標題 : AI創(chuàng)新領航，打造國產基礎軟件新高地｜泛聯(lián)新安完成新一輪戰(zhàn)略融資