给AI代码配上“可信锁”

湖南省工业和信息化厅 gxt.hunan.gov.cn 时间:2026年11月13日 08:39 【字体: 大 中 小】
  

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

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

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

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

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

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

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

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

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



网站地图

主办单位:湖南省工业和信息化厅    政府网站标识码:4300000013
地址:湖南省长沙市天心区新韶路467号    邮编:410004
备案号:湘ICP备10004984号-4 技术支持:湖南省政务服务和大数据中心
值班电话(24小时):0731-88955310
湘公网安备 43010302000530号

  • 信访问题服务电话:0731-88955363 (工作日上午8:00-12:00,下午14:30-17:30)

给AI代码配上“可信锁”

34101061