一、项目编号：OITC-G240882887（招标文件编号：OITC-G240882887-1）
二、项目名称：中国科学院计算技术研究所形式化验证软件采购项目
三、中标（成交）信息
供应商名称：北京耀华创芯电子科技有限公司
供应商地址：北京市海淀区善缘街1号9层3-906
中标（成交）金额：321.8632320（万元）
四、主要标的信息
| 序号 | 供应商名称 | 货物名称 | 货物品牌 | 货物型号 | 货物数量 | 货物单价(元) |
| 1 | 北京耀华创芯电子科技有限公司 | 形式化验证软件 | / | / | 1套 | US$439,800.00 |
五、评审专家（单一来源采购人员）名单：
杨若黎、王艳春、王文清、刘锋、蔡继勇
六、代理服务收费标准及金额：
本项目代理费收费标准：1980号文
本项目代理费总金额：0.000000 万元（人民币）
七、公告期限
自本公告发布之日起1个工作日。
八、其它补充事宜
一、附件：招标文件
二、本项目采用综合评分法，中标供应商的评审总得分95.80分
三、美元汇率：1美元=7.3184人民币
九、凡对本次公告内容提出询问，请按以下方式联系。
1.采购人信息
名 称：中国科学院计算技术研究所
地址：北京市海淀区中关村科学院南路6号
联系方式：010-62600607
2.采购代理机构信息
名 称：东方国际招标有限责任公司
地 址：北京市海淀区丹棱街1号互联网金融中心20层
联系方式：冯宇图 吴旭 李媛 010-68290550、010-68290510、010-68290524
3.项目联系方式
项目联系人：冯宇图 吴旭 李媛
电 话： 010-68290550、010-68290510、010-68290524 ytfeng@oitc.com.cn
