当前位置：采购意向项目详情
中国科学院计算技术研究所2023年9至12月政府采购意向-设计验证软件采购项目 详细情况
2023年09月01日 11:17 来源： 中国政府采购网 【打印】
| 设计验证软件采购项目 | |
| 项目所在采购意向： | 中国科学院计算技术研究所2023年9至12月政府采购意向 |
| 采购单位： | 中国科学院计算技术研究所 |
| 采购项目名称： | 设计验证软件采购项目 |
| 预算金额： | 123.780000万元(人民币) |
| 采购品目： | A0201080302行业应用软件 |
| 采购需求概况 ： | 形式化验证软件1套，支持Verilog、System Verilog 和混合语言设计等；
支持对RTL代码的语法、语义进行分析。 |
| 预计采购时间： | 2023-10 |
| 备注： | |
本次公开的采购意向是本单位政府采购工作的初步安排，具体采购项目情况以相关采购公告和采购文件为准。