采购项目名称

中国科学院上海高等研究院支持新一代X86CPU高效验证的大规模访存随机用例自动构造

品目

服务/信息技术服务/信息技术咨询服务/信息系统设计服务,服务/信息技术服务/信息技术咨询服务/信息技术管理咨询服务,服务/信息技术服务/信息技术咨询服务/其他信息技术咨询服务,服务/科学研究和试验开发/其他研究和试验开发服务

采购单位

中国科学院上海高等研究院

行政区域

上海市

公告时间

2020年12月08日19:35

评审专家名单

蔡玉川、胡善荣、黄月鸿、杨国平、蔡玉平、朱恩圆、程国峰

总中标金额

￥280.000000万元（人民币）

联系人及联系方式：

项目联系人

陈洁

项目联系电话

021-20325067

采购单位

中国科学院上海高等研究院

采购单位地址

上海市浦东新区海科路99号

采购单位联系方式

陈洁021-20325067

代理机构名称

上海中招招标有限公司

代理机构地址

陈永亮、蒋颖、肖华杰、黄陈021-26065267，18317094335

代理机构联系方式

上海市共和新路1301号C座108室

附件：

附件1

上海沪方软件有限公司企业类型声明函-411.pdf

附件2

STC20A411-支持新一代X86CPU高效验证的大规模访存随机用例自动构造-招标文件-发售稿20201111.pdf

一、项目编号：STC20A411（招标文件编号：STC20A411）

二、项目名称：中国科学院上海高等研究院支持新一代X86CPU高效验证的大规模访存随机用例自动构造

三、中标（成交）信息

供应商名称：上海沪方软件有限公司

供应商地址：上海贸易试验区芳春路400号1幢3层

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

四、主要标的信息



序号

供应商名称

服务名称

服务范围

服务要求

服务时间

服务标准





1

上海沪方软件有限公司

支持新一代X86CPU高效验证的大规模访存随机用例自动构造

针对新一代X86CPU的产品级大规模验证需求，基于自动化测试用例大规模生成系统，进行大规模多线程访存随机用例构造。访存随机用例由随机用例生成工具，结合人工设计的随机用例模式自动生成。需要针对访存、页表等内存处理单元的功能进行随机用例模式设计。此外，针对新一代X86CPU的核心特性：多线程与三级缓存，需要设计特别的用例模式，满足多级缓存一致性，多核一致性这两个设计难点的验证需求。

详见招标文件

2020年12月至2021年12月

国家相关标准及招标文件要求























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

蔡玉川、胡善荣、黄月鸿、杨国平、蔡玉平、朱恩圆、程国峰

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

本项目代理费收费标准：100*1.5%*0.8+180*0.8%*0.8，由中标单位支付。

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

七、公告期限

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

八、其它补充事宜

各有关当事人如对中标结果有异议，请于本中标公告期限届满之日起7个工作日内以书面形式向上海中招招标有限公司（地址:上海市共和新路1301号C座108室，邮编：200070，联系人：陈永亮，联系电话：18317094335，传真：021-26065278）提出质疑，并附相关证明资料，逾期将不再受理。

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

1.采购人信息

名称：中国科学院上海高等研究院

地址：上海市浦东新区海科路99号

联系方式：陈洁021-20325067

2.采购代理机构信息

名称：上海中招招标有限公司

地址：陈永亮、蒋颖、肖华杰、黄陈021-26065267，18317094335

联系方式：上海市共和新路1301号C座108室

3.项目联系方式

项目联系人：陈洁

电话：021-20325067