在線客服
首頁基于多邏輯域的邏輯優(yōu)化軟件源代碼、高位寬邏輯等價驗證軟件源代碼中標公告
http://www.selectrentcar-tanger.com2025年07月31日 10:56教育裝備網(wǎng)
一、項目編號：HCZB-2025-ZB1009（招標文件編號：HCZB-2025-ZB1009）
二、項目名稱：基于多邏輯域的邏輯優(yōu)化軟件源代碼、高位寬邏輯等價驗證軟件源代碼
三、中標（成交）信息
供應商名稱：寧波大學
供應商地址：浙江省寧波市江北區(qū)風華路818號
中標（成交）金額：90.0000000（萬元）
四、主要標的信息
| 序號 | 供應商名稱 | 服務名稱 | 服務范圍 | 服務要求 | 服務時間 | 服務標準 |
| 1 | 寧波大學 | 基于多邏輯域的邏輯優(yōu)化軟件源代碼、高位寬邏輯等價驗證軟件源代碼 | 用于開源數(shù)字設計軟件公共技術(shù)服務與創(chuàng)新平臺，支持跨邏輯域優(yōu)化與高位寬電路形式化驗證，提升數(shù)字設計自動化水平，服務于集成電路教學與科研創(chuàng)新。具體詳見招標文件第四章采購需求。 | 詳見招標文件 | 合同簽訂后7日內(nèi)交貨并安裝完畢。 | 詳見招標文件 |
|
|
|
|
|
|
|
|
五、評審專家（單一來源采購人員）名單：
王建國、張愛紅、陳小潔、邊曉娟、鄒蘇南
六、代理服務收費標準及金額：
本項目代理費收費標準：詳見招標文件
本項目代理費總金額：1.080000 萬元（人民幣）
七、公告期限
自本公告發(fā)布之日起1個工作日。
八、其它補充事宜
本項目采用綜合評分法，第一名寧波大學，得分95.40分。
九、凡對本次公告內(nèi)容提出詢問，請按以下方式聯(lián)系。
1.采購人信息
名 稱：北京大學
地址：北京市海淀區(qū)頤和園路5號
聯(lián)系方式：吳老師62758587
2.采購代理機構(gòu)信息
名 稱：華采招標集團有限公司
地 址：北京市豐臺區(qū)廣安路9號國投財富廣場6號樓1601室
聯(lián)系方式：010-63509799-8078/8038/8076
3.項目聯(lián)系方式
項目聯(lián)系人：崔麗潔、趙娜、劉金秀、金珊
電 話： 010-63509799-8078/8038/8076
責任編輯：黃程程
本文鏈接：TOP↑
