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招标文件领购：204月109:00~204月117:00（北京）。

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

5.投标文件的递交

5.1 投标文件递交截止：205月09:00（如有变更，另行通知）

本招标项目仅供正式会员查阅，您的权限不能浏览详细信息,请点击注册/登录，联系工作人员办理入网升级。
联系人：刘欣
电话：010-68809590
手机：13522553206（欢迎拨打手机/微信同号）
邮箱：kefu@bidnews.cn

请注册或升级以上会员，查看投标方式

用户名:
密   码:

• 升  会员升级
• 款  付款指导
• 咨询   刘欣: 135 2255 3206

微信扫码

实时联系