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