高完整計算處理與端系統芯片設計檢查工具招標公告

招標項目所在地區： 陜西省西安市

1. 招標條件

本招標項目高完整計算處理與端系統芯片設計檢查工具（項目名稱）的 該項目已具備招標條件，現進行國內公開招標。

2. 項目概況與招標范圍

2.1 招標編號：0701-244005030534

2.2 項目名稱：高完整計算處理與端系統芯片設計檢查工具

2.3 數量：壹套

2.4 技術規格：

高完整計算處理與端系統芯片設計檢查工具主要用于高完整芯片設計階段的代碼檢查，根據產品使用場景，主要包括如下工具：

a.代碼規則檢查工具；

b.靜態時序分析工具。

代碼規則檢查工具，用于在代碼設計完成后，檢查設計代碼是否滿足要求，具有基于源代碼執行分析的靜態設計驗證功能，包括用于安全關鍵設計的專用規則集以符合DO-254指南。包括實施行業規則集RISC-V設計的實踐和指南。提供用于有效的問題分析、圖形形式的違規路徑表示和時鐘域突出顯示的原理圖可視化功能。

靜態時序分析工具，用于芯片后端設計完成后，檢查是否滿足時序要求，能夠輔助發現和糾正設計中的錯誤，不需要使用施加激勵的方式進行仿真，從而減少后續制造和測試中的問題。

具體功能需求詳見“第五章供貨要求”。

2.5 交貨

2.6 交貨期：合同簽訂生效之日起30個自然日內完成工具交付和安裝調試。

3. 投標人資格要求

3.1 基本要求：投標人在中華人民共和國境內注冊，具備獨立法人資格和有效的營業執照或事業單位法人證書。

3.2 財務要求：投標人提供2023年度經審計的財務會計報告；若投標人為依法允許經營的事業單位，可提供內部財務狀況表。

3.3 信譽要求：未被“信用中國”網站 列入失信被執行人名單。

3.4 其他要求：沒有處于被責令停業，投標資格被取消，財產被接管、凍結，破產狀態；單位負責人為同一人或者存在控股、管理關系的不同單位，不得參加同一標段投標或者未劃分標段的同一招標項目投標。

3.5 本項目不接受聯合體投標。

4.
未在中國電力招標采購網（www.dl-yggm.cn）上注冊會員的單位應先點擊注冊。登錄成功后的在 招標會員 區根據招標公告的相應說明獲取招標文件！
咨詢電話：010-51957458
手 機：18811547188
聯系人：李楊
QQ:1211306049
微信：Li18811547188
郵箱：1211306049@qq.com
來源：中國電力招標采購網
備注：欲購買招標文件的潛在投標人,注冊網站并繳納因特網技術及商務信息服務費后，查看項目業主，招標公告并下載資格預審范圍，資質要求，
招標清單，報名申請表等。為保證您能夠順利投標，具體要求及購買標書操作流程按會員區招標信息詳細內容為準。
編輯：ebid.eavic