一、项目编号：HCZB-2025-ZB1009（招标文件编号：HCZB-2025-ZB1009）
二、项目名称：基于多逻辑域的逻辑优化软件源代码、高位宽逻辑等价验证软件源代码
三、中标（成交）信息
供应商名称：宁波大学
供应商地址：浙江省宁波市江北区风华路818号
中标（成交）金额：90.0000000（万元）
四、主要标的信息
| 序号 | 供应商名称 | 服务名称 | 服务范围 | 服务要求 | 服务时间 | 服务标准 |
| 1 | 宁波大学 | 基于多逻辑域的逻辑优化软件源代码、高位宽逻辑等价验证软件源代码 | 用于开源数字设计软件公共技术服务与创新平台，支持跨逻辑域优化与高位宽电路形式化验证，提升数字设计自动化水平，服务于集成电路教学与科研创新。 | 详见招标文件 | 合同签订后7日内交货并安装完毕。 | 详见招标文件 |
五、评审专家（单一来源采购人员）名单：
王建国、张爱红、陈小洁、边晓娟、邹苏南
六、代理服务收费标准及金额：
本项目代理费收费标准：详见招标文件
本项目代理费总金额：1.080000 万元（人民币）
七、公告期限
自本公告发布之日起1个工作日。
八、其它补充事宜
本项目采用综合评分法，第一名宁波大学，得分95.40分。
1.采购人信息
名 称：北京大学
地址：北京市海淀区颐和园路5号
联系方式：吴老师62758587
2.采购代理机构信息
名 称：华采招标集团有限公司
地 址：北京市丰台区广安路9号国投财富广场6号楼1601室
联系方式：010-63509799-8078/8038/8076
3.项目联系方式
项目联系人：崔丽洁、赵娜、刘金秀、金珊
电 话： 010-63509799-8078/8038/8076
[[item.name]]
