为便于供应商了解采购信息，根据《物资服务集中采购需求管理暂行办法》等有关规定，现将RTL与C/C++等价性验证软件的采购意向公开如下：

序号	采购项目名称	需求概况	初步技术参数	预算金额(万元)	预计采购时间	备注
1	RTL与C/C++等价性验证软件	采购内容：RTL与C/C++等价性验证软件1套。 采购数量：1套 主要功能或目标：支持RTL与C/C++等价性验证。 需满足的要求：国产品牌。支持的license数量不低于20个；支持license使用年限不低于10年。	1.国产品牌； 2.支持RTL与C/C++语言的等价验证； 3.形式化验证引擎数量不少于8种； 4.支持对RTL和C/C++代码的Cut Point功能 5.支持的license数量不低于20个； 6.支持license使用年限不低于10年； 7.提供3年维保（提供免费软件升级和免费技术支持）； 8.同时支持以下操作系统版本：①Red Hat Enterprise Linux Server release 7.3 (Maipo)②CentOS Linux release 7.6.1810 (Core)。并在维保期限内对其他版本的linux提供适配； 9.本产品需要用到的其他软件（如gcc、glibc等）使用操作系统官方自带版本或包含在软件中，无需用户另外安装，可直接使用； 10.能够提供RTL与C/C++等价性验证软件的成功应用案例和售出合同证明（合同签订日期应在本公示发布之前）； 11.针对以下场景，能够完成证明：（1）服务器硬件系统：①CPU型号：Xeon Gold 6226R CPU @ 2.90GHz；②CPU数量：2；③主存容量：1TB；（2）服务器操作系统：Red Hat Enterprise Linux Server release 7.3 (Maipo)；（3）测试目标配置：①数据类型：IEEE754-2008标准定义的双精度浮点数。②操作类型：乘加运算。③RTL设计：多节拍双精度浮点乘加RTL设计。④运算设置：支持非规格化数的输入、输出。⑤舍入方式：就近舍入到偶数。（4）操作数：①被乘数：规格化数或非规格化数；正数。②乘数：规格化数或非规格化数；正数。③加数：规格化数；正数。（5）形式化软件设置：采用对RTL和C尾数乘法部分切断（CutPoint）的方式。（6）测试结果要求：①实现对计算结果双精度数的RTL和C等价性证明。②24小时内完成证明。	200.00	2024年09月	无

  注：1.本次意向公开的采购意向仅作为供应商了解初步采购安排的参考，采购项目具体情况以最终发布的采购公告和采购文件为准；

         2.供应商可以通过采购平台反馈参与意向和意见建议。

  联系人：赫女士

  联系方式：0510-85155093