公告概要：
| 公告信息： | |||
| 采购项目名称 | 中国科学院上海高等研究院新一代X86 CPU的架构/微架构子系统级定向和随机功能仿真验证 | ||
| 品目 | 服务/信息技术服务/信息技术咨询服务/信息系统设计服务,服务/信息技术服务/信息技术咨询服务/信息技术管理咨询服务,服务/信息技术服务/信息技术咨询服务/其他信息技术咨询服务,服务/科学研究和试验开发/其他研究和试验开发服务 | ||
| 采购单位 | 中国科学院上海高等研究院 | ||
| 行政区域 | 上海市 | 公告时间 | 2020年07月24日 18:41 |
| 评审专家名单 | 蔡玉川、丰 收、夏项团、周苏闽、闫红霞、蔡 勇、黄小仙 | ||
| 总中标金额 | ￥900.000000 万元（人民币） | ||
| 联系人及联系方式： | |||
| 项目联系人 | 陈洁 | ||
| 项目联系电话 | 021-20325067 | ||
| 采购单位 | 中国科学院上海高等研究院 | ||
| 采购单位地址 | 上海市浦东新区海科路99号 | ||
| 采购单位联系方式 | 陈洁021-20325067 | ||
| 代理机构名称 | 上海中招招标有限公司 | ||
| 代理机构地址 | 上海市共和新路1301号C座108室 | ||
| 代理机构联系方式 | 陈永亮、蒋 颖、肖华杰18317094335 | ||
| 附件： | |||
| 附件1 | STC20A157-新一代X86 CPU的架构与微架构子系统级定向和随机功能仿真验证-招标文件-发售稿20200702.pdf | ||
一、项目编号：STC20A157（招标文件编号：STC20A157）
二、项目名称：中国科学院上海高等研究院新一代X86 CPU的架构/微架构子系统级定向和随机功能仿真验证
三、中标（成交）信息
供应商名称：中国科学院软件研究所
供应商地址：北京市海淀区中关村南四街4号
中标（成交）金额：900.0000000（万元）
四、主要标的信息
| 序号 | 供应商名称 | 服务名称 | 服务范围 | 服务要求 | 服务时间 | 服务标准 |
| 1 | 中国科学院软件研究所 | 新一代X86 CPU的架构/微架构子系统级定向和随机功能仿真验证 | 面向新一代X86 CPU架构和微架构设计，提出能够支持从模块验证到子系统复用的验证方法，设计与实现支持不同模块组合的子系统。各子系统确保在复杂场景并发情况下，紧耦合的各模块工作正常，并满足模块级验证之上的功能验证需求。 | 1)完成各子系统功能仿真验证平台，形成并提交平台运行版本和代码，至少达到如下要求： a.支持子系统测试用例（单线程和多线程）正常运行，且测试用例100%运行通过； b.达到验证通过指标：代码行覆盖率达到95%，功能覆盖率达到100%； 2)完成各子系统测试用例集的构建，其中： a.前端子系统，测试用例不少于300个； b.后端乱序子系统，测试用例不少于300个； c.微操作执行子系统，测试用例不少于500个； d.缓存子系统，测试用例不少于300个； 3)提交完整的子系统验证说明文档，验证计划 ，验证用例集，验证分析报告、Bug记录文档； | 2020年8月至2021年12月 | 国家相关标准及招标文件要求 |
| | | | | | | |
五、评审专家（单一来源采购人员）名单：
蔡玉川、丰 收、夏项团、周苏闽、闫红霞、蔡 勇、黄小仙
六、代理服务收费标准及金额：
本项目代理费收费标准：100*1.5%*0.8+400*0.8%*0.8+400*0.45%*0.8，由中标单位支付。
本项目代理费总金额：5.2万元（人民币）
七、公告期限
自本公告发布之日起1个工作日。
八、其它补充事宜
各有关当事人如对中标结果有异议，请于本中标公告期限届满之日起7个工作日内以书面形式向上海中招招标有限公司（地址:上海市共和新路1301号C座108室，邮编：200070，联系人：陈永亮，联系电话：18317094335，传真：021-26065278）提出质疑，并附相关证明资料，逾期将不再受理。
九、凡对本次公告内容提出询问，请按以下方式联系。
1.采购人信息
名 称：中国科学院上海高等研究院
地址：上海市浦东新区海科路99号
联系方式：陈洁021-20325067
2.采购代理机构信息
名 称：上海中招招标有限公司
地 址：上海市共和新路1301号C座108室
联系方式：陈永亮、蒋 颖、肖华杰18317094335
3.项目联系方式
项目联系人：陈洁
电 话： 021-20325067