一、項目編號：OITC-G240882887（招標文件編號：OITC-G240882887-1）
二、項目名稱：中國科學院計算技術研究所形式化驗證軟件采購項目
三、中標（成交）信息
供應商名稱：北京耀華創(chuàng)芯電子科技有限公司
供應商地址：北京市海淀區(qū)善緣街1號9層3-906
中標（成交）金額：321.8632320（萬元）
四、主要標的信息
| 序號 | 供應商名稱 | 貨物名稱 | 貨物品牌 | 貨物型號 | 貨物數(shù)量 | 貨物單價(元) |
| 1 | 北京耀華創(chuàng)芯電子科技有限公司 | 形式化驗證軟件 | / | / | 1套 | US$439,800.00 |
五、評審專家（單一來源采購人員）名單：
楊若黎、王艷春、王文清、劉鋒、蔡繼勇
六、代理服務收費標準及金額：
本項目代理費收費標準：1980號文
本項目代理費總金額：0.000000 萬元（人民幣）
七、公告期限
自本公告發(fā)布之日起1個工作日。
八、其它補充事宜
一、附件：招標文件
二、本項目采用綜合評分法，中標供應商的評審總得分95.80分
三、美元匯率：1美元=7.3184人民幣
九、凡對本次公告內容提出詢問，請按以下方式聯(lián)系。
1.采購人信息
名 稱：中國科學院計算技術研究所
地址：北京市海淀區(qū)中關村科學院南路6號
聯(lián)系方式：010-62600607
2.采購代理機構信息
名 稱：東方國際招標有限責任公司
地 址：北京市海淀區(qū)丹棱街1號互聯(lián)網(wǎng)金融中心20層
聯(lián)系方式：馮宇圖 吳旭 李媛 010-68290550、010-68290510、010-68290524
3.項目聯(lián)系方式
項目聯(lián)系人：馮宇圖 吳旭 李媛
電 話： 010-68290550、010-68290510、010-68290524 ytfeng@oitc.com.cn
