您的位置：招采网 > 意向公示 > RTL与C/C++等价性验证软件采购意向公告

RTL与C/C++等价性验证软件采购意向公告

收藏

为便于供应商了解采购信息，根据《物资服务集中采购需求管理暂行办法》等有关规定，现将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


招采网商机
搜索热词热门图标
行业社群推荐

只对招采网VIP会员开放

添加社群运营官为好友
发送"行业+地区"拉你入群
热门信息