数学引擎模块高级验证工具招标公告

招标公告数学引擎模块高级验证工具招标公告（项目编号：X-X） 项目X：X，X1.招标条件本招标项目数学引擎模块高级验证工具（项目名称）（项目编号：X-X公司西安飞行自动控制研究所，招标项目资金已落实。本项目已具备招标条件，现对数学引擎模块高级验证工具（设备名称）采购进行公开招标。2.项目概况与招标范围2.1项目名称：数学引擎模块高级验证工具2.2设备名称：数学引擎模块高级验证工具2.3数量：X套2.4招标文件简要技术规格：支持Verilog、VHDL以及混合语言的设计；可X进行验证；可以利用形式化技术自动识别深层次设计错误；可与主流仿真器集成；在设计早期发现覆盖率漏洞；智能引导设计者加速代码覆盖率收敛；支持全面的形式验证覆盖率策略，从而实现对验证计划的指导作用；含有完X的断言管理功能，达到快速X析验证结果，调试错误的目的；具有良好且直观易用的图形用户界面。更多要求详见招标文件。2.5交货期：合同签订生效后3个月内到货2.6交货地址：X3.投标人资格要求3.1资质要求：（1）在中华人民共和国境内X，为独立法人或其他组织。投标文件提供有效营业执照复印件或事业单位法人证书复印件或依照《中华人民共和国民法典》规定取得的登记或批准文件复印件。（2）若投标人为代理商，投标文件内提供制造商授权书（原件）。3.2财务要求：投标人为企业的，提供X年度经审计的财务会计报表（复印件），需包含（1）资产负债表（2）现金流量表（3）利润表（4）会计附注或审计报告正文。投标人为事业单位的，提供X年度的财务报表复印件，包括资产负债表、收入支出表等主要报表。投标人成立时间不足一个会计年度的，提供成立以来的财务报表复印件，需包含（1）资产负债表（2）现金流量表（3）利润表。3.3业绩要求：不作要求。3.4信誉要求：（1）投标人为企业的，未列入国家XX址https:X.html）的“经营异常名录”和“严重违法失信名单”。提供国家X查询截图，X。（2）投标人为企业或事业单位的，未列入信用中国（通过信用中国跳转至XX址https:X.cnshixin）的“失信被执行人”。提供X查询截图，X。3.5其他要求：无。3.6本次招标不接受联合体投标。联合体投标的，应满足下列要求：  。3.7按照本公告要求向招标代理机构成功X的投标人才具有投标资格。4.招标文件的获取4.1发售时间：X年X月X日X时XX至X年X月X日X时XX（北京时间）4.2X方式：（1）第一步：在X（https:X.comcmsindex.htm）完成X、会员认证，并XXX（具体费用详询客服电话X-X-X）。（2）第二步：通过X专用链接https:X.comzhjananymousxmgcddbptsf?ywbh=NmIyNTE0YzNjNTVjNDNiMWE2NGZlZGQ3OTI4YzU2MjM=进行付款，保存X成功的页面截图。如个人汇款的，请注明投标人名称。（3）第三步：在X申请X订单，付款方式选择“电汇”或“现金”，将第二步保存的X成功页面截图X至X。（4）第四步：审核通过后，在XX。（5）第五步：招标文件X完成后，招标文件电子发票将X至第二步付XXX。4.3请投标人务必按照上述步骤顺序操作。第（1）至（4）步缺一不可，若缺少其中任一步骤，均视为未成功购XXX，售后不退。5.投标文件的递交5.1投标文件递交的截止时间：X年X月X日9时XX（北京时间）。5.2投标文件递交的地址：（1）电子投标文件递交至X。通过XX投标文件制作X，使用X制XX（需使用XX完成投标文件加密及签章）。（2）纸质投标文件递交至X西安X公司（XXXXX号慧创科技产业X四栋三层）。5.3特别说明：（1）投标人的电子投标文件和纸质投标文件，均须按照前述两种方式和时间期限一并递交。投标人逾期通过XX电子投标文X及纸质投标文件均将予以拒收；逾期送达的或者未送达指定地点的或者不按照招标文件要求密封的纸质投标文件，该纸质投标文件以及前述电子投标文件均将予以拒收。（2）投标人应严格遵守《中华人民共和国保守国家秘密法》，不得将敏感文件（标识为受控、内部、国家秘密等）X至X。6.开标时间和地点6.1本项目开标时间：同投标截止时间。6.2本项目X1X文件递交地点。（2）X开标地址：X。6.3特别说明：X开标时，投标人须在规定的时间内解密已X的电子版投标文件。7.发布公告的媒介本次招标公告同时在X（https:X.comcmsindex.htm）及中国X（Xwww.X.com）上发布。8.监督部门：本项目的监督X公司西安飞行自动控制研究所纪检审计部门。9.联系方式（含异议受理）：9.1投标人在投标过程中，如存在不明或异议等事项，可通过以下方式与招标人或招标代理机X公司西安飞行自动控制研究所地址：XX