招標編號：0618-244TC24121HT

中招國際招標有限公司受中國航空工業集團公司西安飛行自動控制研究所委托，對下列產品及服務進行國際公開競爭性招標，于2024年4月11日發布招標公告，現邀請合格投標人參加投標。

1.招標條件

1.1項目名稱：面向下一代的高可靠可編程邏輯代碼和網表的等價性檢查環境 1套

1.2資金到位或資金來源落實情況：資金已落實

1.3項目已具備招標條件的說明：已具備

2.招標內容

2.1項目實施地點：陜西省西安市

2.2招標產品列表：

2.3簡要技術規格：

面向下一代的高可靠可編程邏輯代碼和網表的等價性檢查環境可采用形式化窮舉的方法檢查可編程邏輯綜合后或布局布線后的實現和代碼的一致性。

面向下一代的高可靠可編程邏輯代碼和網表的等價性檢查環境能夠自動化進行RTL代碼、綜合后網表、布局布線后網表之間的一致性檢查工作，確保設計的正確性與質量。

更多技術指標詳見第八章。

3.投標人資格要求

3.1資格要求：

關境外提供的產品：由關境外投標人參與投標。一旦中標，投標人必須是與買方簽訂本項目外貿合同的簽約方。如投標人不具備與買方簽訂外貿合同的能力，將否決其投標。

關境內提供的產品：由關境內投標人參與投標。

（招標采購過程中，必須誰投標、誰中標、誰簽合同，不能甲投標、乙簽合同）。

3.2本次招標不允許聯合體投標。

3.3未在航空工業電子采購平臺注冊并領購招標文件的潛在投標人不得參與投標。

4.招標文件的獲取

4.1招標文件領購時間：2024年4月11日09:00~2024年4月18日17:00（北京時間）。

4.2招標文件領購地點：航空工業電子采購平臺（ebid.eavic.com）。

4.3招標文件售價：1000元人民幣，售后不退。

5.投標文件的遞交

5.1 投標文件遞交截止時間：2024年5月7日上午09:00（如有變更，另行通知）

5.2 投標文件遞交地點（線下）：西安廣成大酒店會議室（如有變更，另行通知）

投標文件遞交地點（線上）：航空工業電子采購平臺電子招投標專區

5.3 逾期送達的、未送達指定地點的或者不按照招標文件要求密封的紙質投標文件，招標人將予以拒收。逾期遞交的電子投標文件，電子招標投標交易平臺將予以拒收。

特別說明：除遞交紙質投標文件外，本項目必須同時在航空工業電子采購平臺進行全流程電子招投標，招標文件購買、線上投標、開標、評標以及公示等工作均同時在航空工業電子采購平臺電子招投標專區進行。請投標人及時在航空工業電子采購平臺購買CA數字認證證書，否則無法進行線上投標。具體請參看航空工業電子采購平臺電子招投標專區發布的相關指南，有關事項請與航空工業電子采購平臺客服聯系（400 890 0880）。

6.開標時間及地點

6.1 開標時間：同投標文件遞交截止時間

6.2 開標地點：同投標文件遞交地點

7.發布公告的媒介

本公告同時在中國國際招標網、中國招標投標公共服務平臺和和航空工業電子采購平臺電子招投標專區發布。

8.聯系方式

招標人：中國航空工業集團公司西安飛行自動控制研究所

地址：陜西省西安市高新區錦業路129號

聯系人：甘練

電話：029-61886366

郵箱：ganl009@avic.com

招標代理機構：中招國際招標有限公司

地址：北京市海淀區學院南路62號中關村資本大廈

聯系人：王歡

電話：010-62108089

電子郵箱：wanghuan@cntcitc.com.cn

9.其他補充說明

請在航空工業電子采購平臺電子招投標專區下單購買招標文件，支付方式選擇電匯，電匯成功后請將匯款截圖上傳到訂單中進行審核，審核通過后可自行下載招標文件。

電匯賬戶如下：

戶名：中招國際招標有限公司

賬號：0200049619200362296

開戶銀行：中國工商銀行北京海淀支行營業部

備注：請在電匯時備注0618開頭的招標編號