一、項(xiàng)目編號(hào)：--（招標(biāo)文件編號(hào)：--） 二、項(xiàng)目名稱(chēng)：基于多邏輯域的邏輯優(yōu)化軟件源代碼、高位寬邏輯等價(jià)驗(yàn)證軟件源代碼 三、中標(biāo)（成交）信息 供應(yīng)商名稱(chēng)：寧波大學(xué) 供應(yīng)商地址：浙江省寧波市江北區(qū)風(fēng)華路號(hào) 中標(biāo)（成交）金額：.（萬(wàn)元） 四、主要標(biāo)的信息 序號(hào) 供應(yīng)商名稱(chēng) 服務(wù)名稱(chēng) 服務(wù)范圍 服務(wù)要求 服務(wù)時(shí)間 服務(wù)標(biāo)準(zhǔn) 寧波大學(xué) 基于多邏輯域的邏輯優(yōu)化軟件源代碼、高位寬邏輯等價(jià)驗(yàn)證軟件源代碼 用于開(kāi)源數(shù)字設(shè)計(jì)軟件公共技術(shù)服務(wù)與創(chuàng)新平臺(tái)，支持跨邏輯域優(yōu)化與高位寬電路形式化驗(yàn)證，提升數(shù)字設(shè)計(jì)自動(dòng)化水平，服務(wù)于集成電路教學(xué)與科研創(chuàng)新。具體詳見(jiàn)招標(biāo)文件第四章采購(gòu)需求。 詳見(jiàn)招標(biāo)文件 合同簽訂后日內(nèi)交貨并安裝完畢。 詳見(jiàn)招標(biāo)文件 五、評(píng)審專(zhuān)家（單一來(lái)源采購(gòu)人員）名單： 王建國(guó)、張愛(ài)紅、陳小潔、邊曉娟、鄒蘇南 六、代理服務(wù)收費(fèi)標(biāo)準(zhǔn)及金額： 本項(xiàng)目代理費(fèi)收費(fèi)標(biāo)準(zhǔn)：詳見(jiàn)招標(biāo)文件 本項(xiàng)目代理費(fèi)總金額：. 萬(wàn)元（人民幣） 七、公告期限 自本公告發(fā)布之日起個(gè)工作日。 八、其它補(bǔ)充事宜 本項(xiàng)目采用綜合評(píng)分法，第一名寧波大學(xué)，得分.分。 九、凡對(duì)本次公告內(nèi)容提出詢(xún)問(wèn)，請(qǐng)按以下方式聯(lián)系。 .采購(gòu)人信息 名 稱(chēng)：北京大學(xué)　　　　　 地址：北京市海淀區(qū)頤和園路號(hào)　　　　　　　　 聯(lián)系方式：吳老師　　　　　　 .采購(gòu)代理機(jī)構(gòu)信息 名 稱(chēng)：華采招標(biāo)集團(tuán)有限公司　　　　　　　　　　　　 地　址：北京市豐臺(tái)區(qū)廣安路號(hào)國(guó)投財(cái)富廣場(chǎng)號(hào)樓室　　　　　　　　　　　　 聯(lián)系方式：--//　　　　　　　　　　　　 .項(xiàng)目聯(lián)系方式 項(xiàng)目聯(lián)系人：崔麗潔、趙娜、劉金秀、金珊 電　話(huà)：　　-....