工业和信息化部电子第五研究所FPGA形式化验证工具适配委托开发项目成交公告

一、项目编号：TC269404P（招标文件编号：TC269404P）

二、项目名称：工业和信息化部电子第五研究所FPGA形式化验证工具适配委托开发项目

三、中标（成交）信息

供应商名称：成都迪真计算机科技有限公司

供应商地址：中国（四川）自由贸易试验区成都高新区天府大道中段 1 号 1 栋 204 单元 1 层 5 号

中标（成交）金额：95.5000000（万元）

四、主要标的信息

序号	供应商名称	服务名称	服务范围	服务要求	服务时间	服务标准
1	成都迪真计算机科技有限公司	FPGA 形式化验证工具适配委托开发	FPGA 形式化验证工具适配委托开发	详见文件	合同签署后 90 个工作日内交付源码、配套文件以及通过功能、性能和综合验收	详见文件

五、评审专家（单一来源采购人员）名单：

张增兴、曹秀莲、张亦驰

六、代理服务收费标准及金额：

本项目代理费收费标准：按磋商文件约定收取

本项目代理费总金额：1.432500 万元（人民币）

七、公告期限

自本公告发布之日起1个工作日。

八、其它补充事宜

成交供应商评审总得分：92.27分

九、凡对本次公告内容提出询问，请按以下方式联系。

1.采购人信息

名 称：工业和信息化部电子第五研究所　　　　　

地址：广州市增城区朱村街朱村大道西78号　　　　　　　　

联系方式：宋工020-87236888　　　　　　

2.采购代理机构信息

名 称：中招国际招标有限公司　　　　　　　　　　　　

地　址：广州市越秀区沿江中路298号江湾新城A幢8A-8G房　　　　　　　　　　　　

联系方式：陈敏、林思韵、阮子珊020-87605285、020-83339065　　　　　　　　　　　　

3.项目联系方式

项目联系人：陈敏

电　话：　　020-83336359、020-87600652

中招国际招标有限公司

2026年7月7日