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

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

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

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

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

2022及2023年，泛聯(lián)新安連續(xù)兩年?duì)款^撰寫《網(wǎng)信自主創(chuàng)新調(diào)研報(bào)告》軟件測試工具篇章，引領(lǐng)國產(chǎn)自主軟件測試工具不斷發(fā)展。

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

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

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

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

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

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

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

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