招标信息

高完整计算处理与端系统芯片设计检查工具项目招标公告

2024-10-28
1. 招标条件

本招标项目高完整计算处理与端系统芯片设计检查工具（项目名称）的招标人为中国航空工业集团公司西安航空计算技术研究所，招标项目资金来自国拨资金（资金来源）。该项目已具备招标条件，现进行国内公开招标。

2. 项目概况与招标范围

2.1 招标编号：0701-244……

2.2 项目名称：高完整计算处理与端系统芯片设计检查工具

2.3 数量：壹套

2.4 技术规格：

高完整计算处理与端系统芯片设计检查工具主要用于高完整芯片设计阶段的代码检查，根据产品使用场景，主要包括如下工具：

a.代码规则检查工具；

b.静态时序分析工具。

代码规则检查工具，用于在代码设计完成后，检查设计代码是否满足要求，具有基于源代码执行分析的静态设计验证功能，包括用于安全关键设计的专用规则集以符合DO-254指南。包括实施行业规则集RISC-V设计的实践和指南。提供用于有效的问题分析、图形形式的违规路径表示和时钟域突出显示的原理图可视化功能。

静态时序分析工具，用于芯片后端设计完成后，检查是否满足时序要求，能够辅助发现和纠正设计中的错误，不需要使用施加激励的方式进行仿真，从而减少后续制造和测试中的问题。

具体功能需求详见“第五章供货要求”。

2.5 交货地点：西安用户现场交货。

2.6 交货期：合同签订生效之日起30个自然日内完成工具交付和安装调试。

3. 投标人资格要求

3.1 基本要求：投标人在中华人民共和国境内注册，具备独立法人资格和有效的营业执照或事业单位法人证书。

3.2 财务要求：投标人提供2023年度经审计的财务会计报告；若投标人为依法允许经营的事业单位，可提供内部财务状况表。

3.3 信誉要求：未被“信用中国”网站列入失信被执行人名单。

3.4 其他要求：没有处于被责令停业，投标资格被取消，财产被接管、冻结，破产状态；单位负责人为同一人或者存在控股、管理关系的不同单位，不得参加同一标段投标或者未划分标段的同一招标项目投标。

3.5 本项目不接受联合体投标。

4. 招标文件的获取

4.1 招标文件购买时间：2024年10月28日09:00至2024年11月4日17:00


本招标项目仅供正式会员查看，您的权限不能浏览详细信息，请点击注册/登录，联系工作人员办理入网升级。

联系人：陈经理
电话：010-83551561
手机：13717815020 (欢迎拨打手机/微信同号)
邮箱：kefu@gdtzb.com
QQ：1571675411

相关项目