一、项目编号：HCZB-2025-ZB1010（招标文件编号：HCZB-2025-ZB1010）
二、项目名称：基于近似计算的逻辑综合软件源代码
三、中标（成交）信息
供应商名称：上海交通大学
供应商地址：上海市华山路1954号
中标（成交）金额：180.0000000（万元）
四、主要标的信息
| 序号 | 供应商名称 | 服务名称 | 服务范围 | 服务要求 | 服务时间 | 服务标准 |
| 1 | 上海交通大学 | 基于近似计算的逻辑综合软件源代码 | 用于开源数字设计软件公共技术服务与创新平台，支持跨逻辑域优化与高位宽电路形式化验证，提升数字设计自动化水平，服务于集成电路教学与科研创新。具体详见招标文件第四章采购需求。 | 详见招标文件 | 合同签订后7日内交货并安装完毕 | 详见招标文件 |
五、评审专家（单一来源采购人员）名单：
崔海鹰、陈霖、秋宏兴、马晓峰、邹苏南
六、代理服务收费标准及金额：
本项目代理费收费标准：详见招标文件
本项目代理费总金额：1.712000 万元（人民币）
七、公告期限
自本公告发布之日起1个工作日。
八、其它补充事宜
本项目采用综合评分法，第一名上海交通大学，得分92.00分
九、凡对本次公告内容提出询问，请按以下方式联系。
1.采购人信息
名 称：北京大学
地址：北京市海淀区颐和园路5号
联系方式：吴老师62758587
2.采购代理机构信息
名 称：华采招标集团有限公司
地 址：北京市丰台区广安路9号国投财富广场6号楼1601室
联系方式：010-63509799-8078/8038/8076
3.项目联系方式
项目联系人：崔丽洁、赵娜、刘金秀、金珊
电 话： 010-63509799-8078/8038/8076