登录后查看受登录后查看西安飞行自动控制研究所委托，对下列产品及服务进行国际公开竞争性招标，于****年*月**日发布招标公告，现邀请合格投标人参加投标。

*.招标条件

*.*项目名称：面向下一代的高可靠可编程逻辑的跨时钟域自动化检查环境 *套

*.*资金到位或资金来源落实情况：资金已落实

*.*项目已具备招标条件的说明：已具备

*.招标内容

*.*项目实施地点：陕西省西安市

*.*招标产品列表：

*.*简要技术规格：

面向下一代的高可靠可编程逻辑的跨时钟域自动化检查环境可通过自动检查的方式对设计中多个时钟域间信号交互进行跨时钟域安全隐患分析，实现跨时钟域(***)静态检查、***协议检查、*** 再聚合检查、跨复位域检查、低功耗验证等功能，能够全面解决跨时钟域验证难题。

面向下一代的高可靠可编程逻辑的跨时钟域自动化检查环境能够自动化进行跨时钟域检查，帮助设计人员更早的查出设计中的缺陷，找到设计可靠性问题，确保设计的正确性与质量。

更多技术指标详见第八章。

*.投标人资格要求

*.*资格要求：

关境外提供的产品：由关境外投标人参与投标。一旦中标，投标人必须是与买方签订本项目外贸合同的签约方。如投标人不具备与买方签订外贸合同的能力，将否决其投标。

关境内提供的产品：由关境内投标人参与投标。

(招标采购过程中，必须谁投标、谁中标、谁签合同，不能甲投标、乙签合同)。

*.*本次招标不允许联合体投标。

*.*未在航空工业电子采购平台注册并领购招标文件的潜在投标人不得参与投标。

*.招标文件的获取

*.*招标文件领购时间：****年*月**日**:**~****年*月*日**:**(北京时间)。

*.*招标文件领购地点：航空工业电子采购平台(登录后查看)。

*.*招标文件售价：****元人民币，售后不退。

*.投标文件的递交

*.* 投标文件递交截止时间：****年*月**日上午**:**(如有变更，另行通知)

*.* 投标文件递交地点(线下)：登录后查看会议室(如有变更，另行通知)

投标文件递交地点(线上)：航空工业电子采购平台电子招投标专区

*.* 逾期送达的、未送达指定地点的或者不按照招标文件要求密封的纸质投标文件，招标人将予以拒收。逾期递交的电子投标文件，电子招标投标交易平台将予以拒收。

特别说明：除递交纸质投标文件外，本项目必须同时在航空工业电子采购平台进行全流程电子招投标，招标文件购买、线上投标、开标、评标以及公示等工作均同时在航空工业电子采购平台电子招投标专区进行。请投标人及时在航空工业电子采购平台购买**数字认证证书，否则无法进行线上投标。具体请参看航空工业电子采购平台电子招投标专区发布的相关指南，有关事项请与航空工业电子采购平台客服联系(*** *** ****)。

*.开标时间及地点

*.* 开标时间：同投标文件递交截止时间

*.* 开标地点：同投标文件递交地点

*.发布公告的媒介

本公告同时在中国国际招标网、中国招标投标公共服务平台和和航空工业电子采购平台电子招投标专区发布。