基于多逻辑域的逻辑优化软件源代码、高位宽逻辑等价验证软件源代码中标公告

发布时间: 2025年07月30日
摘要信息
中标单位
中标金额
中标单位联系人
招标单位
招标编号
招标估价
招标联系人
代理单位
代理单位联系人
招标详情
下文中****为隐藏内容,仅对千里马会员开放,如需查看完整内容请 或 拨打咨询热线: 400-688-2000
相关单位:
***********公司企业信息
***********公司企业信息
***********公司企业信息

一、项目编号:****(招标文件编号:****)

二、项目名称:基于多逻辑域的逻辑优化软件源代码、高位宽逻辑等价验证软件源代码

三、中标(成交)信息

供应商名称:****

供应商地址:**省**市**区风华路818号

中标(成交)金额:90.****000(万元)

四、主要标的信息

序号 供应商名称 服务名称 服务范围 服务要求 服务时间 服务标准
1 **** 基于多逻辑域的逻辑优化软件源代码、高位宽逻辑等价验证软件源代码 用于开源数字设计软件公共技术服务与创新平台,支持跨逻辑域优化与高位宽电路形式化验证,提升数字设计自动化水平,服务于集成电路教学与科研创新。具体详见招标文件第四章采购需求。 详见招标文件 合同签订后7日内交货并安装完毕。 详见招标文件

五、评审专家(单一来源采购人员)名单:

王建国、张爱红、陈小洁、边晓娟、邹苏南

六、代理服务收费标准及金额:

本项目代理费收费标准:详见招标文件

本项目代理费总金额:1.080000 万元(人民币)

七、公告期限

自本公告发布之日起1个工作日。

八、其它补充事宜

本项目采用综合评分法,第一名****,得分95.40分。

九、凡对本次公告内容提出询问,请按以下方式联系。

1.采购人信息

名 称:****

地址:**市**区颐和园路5号

联系方式:吴老师****8587

2.采购代理机构信息

名 称:****

地 址:**市**区**路9****广场6号楼1601室

联系方式:010-****9799-8078/8038/8076

3.项目联系方式

项目联系人:崔丽洁、赵娜、刘金秀、金珊

电 话: 010-****9799-8078/8038/8076

附件下载1
附件下载2
附件(2)
招标进度跟踪
2025-07-30
中标通知
基于多逻辑域的逻辑优化软件源代码、高位宽逻辑等价验证软件源代码中标公告
当前信息
招标项目商机
暂无推荐数据