1.1项目名称：面向下一代的高可靠可编程逻辑代码和网表的等价性检查环境 1套
1.2资金到位或资金来源落实情况：资金已落实
1.3项目已具备招标条件的说明：已具备
2.招标内容
2.1项目实施地点：陕西省西安市
2.2招标产品列表：
|
序号 |
产品名称 |
数量 |
交货期 |
|
1 |
面向下一代的高可靠可编程逻辑代码和网表的等价性检查环境 |
1套 |
合同签订生效后3个月内到达用户现场 |
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招标文件售价：1000元人民币，售后不退。
5.投标文件的递交
5.1 投标文件递交截止时间：2024年5月7日上午09:00（如有变更，另行通知）
本招标项目仅供 正式会员查阅，您的权限不能浏览详细信息,请点击注册/登录，请联系工作人员办理入网升级。
联系人：方婷
电话：010-53341173
手机：13011091135 (欢迎拨打手机/微信同号)
邮箱：fangting@zbytb.com
