一、项目编号：OITC-G200291740（招标文件编号：OITC-G200291740）

二、项目名称：中国科学院信息工程研究所硬件RTL代码形式化验证工具采购项目

三、中标（成交）信息

供应商名称：上海珞微信息技术有限公司

供应商地址：上海市闵行区莘福路388号2栋205室

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

四、主要标的信息

序号	供应商名称	货物名称	货物品牌	货物型号	货物数量	货物单价（元）
1	上海珞微信息技术有限公司	硬件RTL代码形式化验证工具	上海珞微信息技术有限公司	ATEC-V3.2	2套	/

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

付亚波（专家组长）、王英滨、王成龙（用户代表）

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

本项目代理费收费标准：具体标准和计算办法按照国家发展计划委员会（计价格[2002]1980号）《招标代理服务收费管理暂行办法》的货物收费标准。

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

七、公告期限

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

八、其它补充事宜

无。

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

1.采购人信息

名 称：中国科学院信息工程研究所　　　　　

地址：申老师 010-82546876　　　　　　　　

联系方式：北京市海淀区闵庄路甲89号　　　　　　

2.采购代理机构信息

名 称：东方国际招标有限责任公司　　　　　　　　　　　　

地　址：北京市海淀区西三环北路甲2号院科技园6号楼13层01室　　　　　　　　　　　　

联系方式：迟兆洋、张君仙 010-68290505、010-68290692 zychi@oitc.com.cn 、jxzhang@oitc.com.cn　　　　　　　　　　　　

3.项目联系方式

项目联系人：迟兆洋、张君仙

电　话：　　010-68290505、010-68290692