一、项目基本情况
项目名称：基于多逻辑域的逻辑优化软件源代码、高位宽逻辑等价验证软件源代码
预算金额：90.000000 万元（人民币）
采购需求：
用于开源数字设计软件公共技术服务与创新平台，支持跨逻辑域优化与高位宽电路形式化验证，提升数字设计自动化水平，服务于集成电路教学与科研创新。具体详见招标文件第四章采购需求
合同履行期限：合同签订后 7日内交货并安装完毕
本项目( 不接受 )联合体投标。
二、申请人的资格要求：
1.满足《中华人民共和国政府采购法》第二十二条规定；
2.落实政府采购政策需满足的资格要求：
本项目非专门面向中小企业
3.本项目的特定资格要求：(1)投标人必须为投标文件递交截止之日前未被列入“信用中国”网站、中国政府采购网（www.ccgp.gov.cn）信用记录失信被执行人、重大税收违法失信主体、政府采购严重违法失信行为记录名单的；(2)不同投标人的法人、单位负责人不是同一人也不存在直接控股、管理关系；(3)投标人必须向采购代理机构购买招标文件并登记备案，未向采购代理机构购买招标文件并登记备案的无资格参加本次投标；(4)本项目不接受联合体投标；
三、获取招标文件
时间：2025年07月08日 至 2025年07月15日，每天上午9:00至12:00，下午13:00至17:00。（北京时间，法定节假日除外）
……售价：￥500.0 元，本公告包含的招标文件售价总和
本招标项目仅供 正式会员查阅，您的权限不能浏览详细信息,请点击注册/登录，请联系工作人员办理入网升级。
联系人：陈思颖
电话：010-82656698
手机：15801679990 (欢迎拨打手机/微信同号)
邮箱：csy@zbytb.com
