一、項目編號：STC20A156（招標(biāo)文件編號：STC20A156）

二、項目名稱：中國科學(xué)院上海高等研究院新一代X86 CPU的架構(gòu)/微架構(gòu)模塊級功能定向和隨機(jī)仿真驗證

三、中標(biāo)（成交）信息

供應(yīng)商名稱：中國科學(xué)院軟件研究所

供應(yīng)商地址：北京市海淀區(qū)中關(guān)村南四街4號

中標(biāo)（成交）金額：600.0000000（萬元）

四、主要標(biāo)的信息

序號	供應(yīng)商名稱	服務(wù)名稱	服務(wù)范圍	服務(wù)要求	服務(wù)時間	服務(wù)標(biāo)準(zhǔn)
1	中國科學(xué)院軟件研究所	新一代X86 CPU的架構(gòu)/微架構(gòu)模塊級功能定向和隨機(jī)仿真驗證	開發(fā)實現(xiàn)對新一代國產(chǎn)X86 CPU的各個模塊的功能和特性進(jìn)行驗證。CPU整體運行操作系統(tǒng)前，需對各模塊的功能，特性進(jìn)行驗證，保證在模塊層級的功能正確性，才能進(jìn)一步進(jìn)行子系統(tǒng)級別和全片級別的驗證，保證驗證的全面性和正確性。	（1）完成所有核內(nèi)和非核模塊的驗證，功能覆蓋率達(dá)到100%、代碼覆蓋率達(dá)到95%以上； （2）提交所有模塊的測試驗證平臺環(huán)境，及平臺詳細(xì)設(shè)計文檔和組件接口說明文檔、使用說明等。文檔至少達(dá)到如下要求： a) 設(shè)計文檔至少詳細(xì)說明工具的需求、模塊描述和工作流程、核心數(shù)據(jù)結(jié)構(gòu)和接口設(shè)計等； b) 使用說明至少詳細(xì)說明平臺功能說明、運行過程和運行結(jié)果（含截圖和說明）； （3） 提交所有測試用例集和覆蓋率分析文檔，形成驗證說明文檔，驗證計劃文檔，驗證分析報告、Bug記錄。	2020年8月至2021年12月	國家相關(guān)標(biāo)準(zhǔn)及招標(biāo)文件要求

五、評審專家（單一來源采購人員）名單：

蔡玉川、豐 收、夏項團(tuán)、周蘇閩、閆紅霞、蔡 勇、黃小仙

六、代理服務(wù)收費標(biāo)準(zhǔn)及金額：

本項目代理費收費標(biāo)準(zhǔn)：100*1.5%*0.8+400*0.8%*0.8+100*0.45%*0.8，由中標(biāo)單位支付。

本項目代理費總金額：4.12萬元（人民幣）

七、公告期限

自本公告發(fā)布之日起1個工作日。

八、其它補(bǔ)充事宜

各有關(guān)當(dāng)事人如對中標(biāo)結(jié)果有異議，請于本中標(biāo)公告期限屆滿之日起7個工作日內(nèi)以書面形式向上海中招招標(biāo)有限公司（地址:上海市共和新路1301號C座108室，郵編：200070，聯(lián)系人：陳永亮，聯(lián)系電話：18317094335，傳真：021-26065278）提出質(zhì)疑，并附相關(guān)證明資料，逾期將不再受理。

九、凡對本次公告內(nèi)容提出詢問，請按以下方式聯(lián)系。

1.采購人信息

名 稱：中國科學(xué)院上海高等研究院　　　　　

地址：上海市浦東新區(qū)海科路99號　　　　　　　　

聯(lián)系方式：陳潔021-20325067　　　　　　

2.采購代理機(jī)構(gòu)信息

名 稱：上海中招招標(biāo)有限公司　　　　　　　　　　　　

地　址：上海市共和新路1301號C座108室　　　　　　　　　　　　

聯(lián)系方式：陳永亮、蔣 穎、肖華杰18317094335　　　　　　　　　　　　

3.項目聯(lián)系方式

項目聯(lián)系人：陳潔

電　話：　　021-20325067