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

本輪融資由鈞犀資本、興湘資本、壹同創(chuàng)投聯(lián)合完成。此次融資，泛聯(lián)新安將持續(xù)深耕程序分析技術(shù)，通過(guò)深度融合大模型技術(shù)開(kāi)展核心技術(shù)和解決方案的雙重創(chuàng)新，加速成為AI驅(qū)動(dòng)的軟硬件開(kāi)發(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ì)，將技術(shù)進(jìn)步與行業(yè)屬性深度耦合，加速搶占國(guó)防軍工、高端制造、金融政企、芯片設(shè)計(jì)等具高可靠、高安全剛需屬性的關(guān)鍵市場(chǎng)領(lǐng)域。

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

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

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

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

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

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

其他在研產(chǎn)品，經(jīng)過(guò)不斷打磨，已蓄勢(shì)待發(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á)到國(guó)際領(lǐng)先水平。

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

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

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

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