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

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

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

2.招标内容

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

2.2招标产品列表：

2.3简要技术规格：

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

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

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

3.投标人资格要求

3.1资格要求：

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

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

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

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

3.3未在注册并领购招标文件的潜在投标人不得参与投标。

4.招标文件的获取

4.1招标文件领购时间：2024年3月28日09:00~2024年4月7日17:00（北京时间）。

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

5.投标文件的递交

5.1 投标文件递交截止时间：2024年4月18日09:00（如有变更，另行通知）

本招标项目仅供正式会员查阅，您的权限不能浏览详细信息,请点击注册/登录，联系工作人员办理会员入网事宜，成为正式会员后方可获取详细的招标公告、报名表格、项目附件及部分项目招标文件等。