【计算万物 湘约未来——打造智能经济新形态】湘企泛联新安深耕开发支撑类基础软件 给AI代码配上“可信锁”

编者按

2026世界计算大会将于11月19日至21日在长沙举行，汇聚全球业内领军人物，共探计算前沿议题，共迎计算产业新变革。近年来，湖南以智能算力引领计算产业创新发展，积极探索“人工智能+”赋能实体经济，为产业升级注入强劲动能。即日起，湖南日报开设《计算万物 湘约未来——打造智能经济新形态》专栏，敬请关注。

华声在线全媒体记者 胡锐 见习记者 鲁钦轲

芯片内部，两个模块的“说话节奏”不一样，信号交接时偶尔会传错。这类问题，仿真很难覆盖全，往往要等芯片上了板才暴露。湖南泛联新安信息科技有限公司开发的VHawk-CDC，就是在芯片投产前，把这类隐患一条条扫出来、定位到代码行。

11月11日，省工信厅公布2026年湖南省首版次软件产品名单，泛联新安开发的VHawk-CDC跨时钟域验证工具软件V1.0上榜。这家成立于2017年、总部在长沙马栏山的企业，做的是基础软件里更靠底层的一段——开发支撑类工具。

“如果把软件开发比作建大楼，传统开发工具像手工绘图，我们的AI辅助工具就是智能设计软件，能自动查错、提优化建议，甚至生成部分代码，让整个开发过程又快又稳。”泛联新安市场中心运营总监胡春山说。

国产基础软件版图上，多数细分领域已经跑出成熟上市企业，唯独对产业安全影响最深远的开发支撑类赛道，至今没有巨头。泛联新安从高可信软件测试起步，锚定空白领域持续深耕。

团队把多年积累的高可信领域测试经验、工业场景数据，全部注入嵌入式垂域AI模型，把AI能力和传统开发支撑工具拧成了一股绳。

“大模型擅长生成，但有幻觉；程序分析擅长验证，能守住确定性。”胡春山说。团队的做法是把静态分析、动态分析、形式化验证这些传统能力，做成AI的“可信约束层”，把功能安全标准植入代码生成的全流程，用自动化测试替代人工评审，从根源上对抗AI生成内容的不可靠性，彻底解决高可信领域AI落地的核心痛点。

新质生产力在AI板块的核心创新空间就在“场景”中。中国制造业的全球领先优势，给本土基础软件企业带来了换道机会。作为本土成长起来的团队，泛联新安对国内开发者的生态需求理解得更透彻。以国产飞机除冰系统为例，为攻克膨胀率上的技术卡点，团队第一时间上门做了定制化适配，而海外企业赶不上本土企业的研发节奏。

依托数百个制造业用户的场景沉淀，这套融合技术已在汇川技术等智能制造头部企业落地，服务上千名嵌入式开发人员，AI生成代码占比达到30%，带动整体开发效率提升15%、测试效率提升50%以上。最近一年来，泛联新安客户增长率、业绩增长率双双突破50%。

基础软件开发，人才是关键。泛联新安与国防科大、清华大学、复旦大学等高校深度绑定，推出精英人才计划，提前锁定后备力量。胡春山表示，长沙的城市吸引力，与北上广深形成错位竞争，企业把核心技术人才留在湖南。

“基础软件赛道长坡厚雪，一两个客户不可能造就爆发式增长。”胡春山说，团队已经找准高可信行业AI驱动开发支撑软件这条主赛道，数百亿级的市场空间里，技术和数据积累形成的护城河足够深厚，本土团队就有机会实现从跟跑到领跑。

责编：欧小雷

一审：欧小雷

二审：卢小伟

三审：谭登

来源：华声在线