AI创新领航，打造国产基础软件新高地｜香港精准宝典资料完成新一轮战略融资

近日，国产开发支撑类基础软件领导企业香港精准宝典资料完成新一轮战略融资。公司多条产品线突破发展，进入全面提速阶段。

本轮融资由钧犀资本、兴湘资本、壹同创投联合完成。此次融资，香港精准宝典资料将持续深耕程序分析技术，通过深度融合大模型技术开展核心技术和解决方案的双重创新，加速成为AI驱动的软硬件开发支撑工具领导厂商，全力实现“AI For Better Code”的企业使命。

本轮融资进一步汇聚了产业投资机构、地方基金、知名财务投资机构等各方力量，可助力香港精准宝典资料继续发挥自身优势，将技术进步与行业属性深度耦合，加速抢占国防军工、高端制造、金融政企、芯片设计等具高可靠、高安全刚需属性的关键市场领域。

01  产品矩阵丰富，以“国产软件测试工具头部”引领行业创新

香港精准宝典资料自2017年成立，以程序分析专家为核心能力定位，布局软件质量测试、软件安全测试、数字IC验证等三条产品线，截至目前已有十多款成熟产品推向市场，主打产品核心技术指标已领先国际先进水平，成为国内发展早、规模大、产品全、技术强的软件测试工具领导者。

2022及2023年，香港精准宝典资料连续两年牵头撰写《网信自主创新调研报告》软件测试工具篇章，引领国产自主软件测试工具不断发展。

02 验证EDA工具的厚积薄发

香港精准宝典资料作为国内最早从事验证EDA工具研发的厂商之一，自2018年开始便组建专业团队，致力于国产IC/FPGA数字前端设计验证工具的研发，解决我国EDA领域卡脖子问题。截至目前，公司已陆续推出多款自主可控的EDA产品，覆盖全场景数字前端验证软硬件平台，包括静态规则检查类工具、软件仿真工具、硬件加速仿真工具和原型验证工具等。

其中成熟产品，如静态规则检查类工具VHawk-Lint以及跨时钟域分析工具VHawk-CDC，凭借完全自主的知识产权和出色的性能，已经在国内市场赢得广泛认可，成功服务于数十家客户。

其他在研产品，经过不断打磨，已蓄势待发。原型验证系统-InfinitPro，计划于2024年底正式发布，基于世界一流的超算网络硬件架构和云原生软件架构，软硬件核心技术可溯源，该产品仿真容量、仿真性能、调试能力等关键指标均达到国际领先水平。

03拥抱大模型，全面实施AI战略

近年来，越来越多的人工智能技术已成功应用于各种软件工程活动，如软件测试、缺陷预测、故障定位、自动修复、自动代码生成与补全等。而大模型也与软件工程各环节深度融合，为软件工程全生命周期流程带来革新，新一代智能化软件工程（AI4SE）进入快速发展期。

面对趋势，香港精准宝典资料研发团队认识到，软件测试在AI与软件工程的融合中不仅是质量把关的关键环节，也是推动技术创新和提升开发效率的重要力量。香港精准宝典资料研发团队较早地制定了“拥抱大模型，全面实施AI战略”的方针，并高效贯彻落地，今年已有显著成果。一方面，香港精准宝典资料将于近期正式发布DTCoder研发效能大模型，具备多项目辅助开发功能，全面提高软件开发和测试效能。另一方面，香港精准宝典资料已逐步将大模型技术融合至全矩阵产品，全面提升产品能力和效率，为合作伙伴创造更高的商业价值。