一、项目名称
形式化验证软件
二、项目编号
201(略)
三、采购内容及数量
形式化验证软件一套
四、(略)
(一)符合《中华人民共和国政府采购法》第二十二条资格条件:
(1)具有独立承担民事责任的能力;
(2)具有良好的商业信誉和健全的财务会计制度;
(3)具有履行合同所必需的设备和专业技术能力;
(4)有依法缴纳税收和社会保障资金的良好记录;
(5)参加政府采购活动前3年内,在经营活动中没有重大违法记录;
(6)法律、行政法(略)。
(二)截止到开标时间,供应商成立时间不少于3年,且为非外资独资或外资控股企业,或为事业单位、军队单位。
(三)单位负责人为同一人或者存在直接控股、管理关系的不同供应商,不得同时参加同一包的采购活动。生产型企业生产(略),销售型企业之间股东有关联的,一律视为有直接控股、管理关系。供应商之间有(略),应主动声明,否则将给予列入不良记录名单、3年内不得参加军队采购活动的处罚。
(四)本项目不接受联合体投标。
(五)投标人必须具有独立法人资格,有相应的经营范围。提供营业执照副(略),并加盖有效公章。
五、具体技术指标要求
(1)具有多种形式化验证引擎,可根据客户需求进行引擎定制;
(2)支持多种形式的断言,包括S(略)
(3)支持断言的空泛性检查,能够保证较高的空泛性断言检查质量;
(4)支持多种类型的设计代码,包括verilog和VHDL等;
(5)支持多(略),包括命令行、脚本、图形用户界面等;
(6)支持图形化调试和断言违反后测试激励和波形生成;
(7)支持开放性平台架构或者未来有支持开放性平台架构的计划。
六、采购文件发出时间、地点、方式
(1)采购文件发出截止时间: (略)7 时(北京时间)。
(2)响应文件发送方式:采购方将以电子邮件的形式向供应商发送采购文件。
(3)报名以电话方式通知采购方联系人,并以短信方式发送供应商全称、报名项目、联系人姓名、电话、电子邮箱给采购方联系人。
七、投标截止、开标评审时间及地点
(1)时间:2019年11月26 日15时(北京时间)。
(2)地点:(略)
九、采购人联系方式(限联系人,联系电话)
联系人:蒋丽芝 电话:(略),(略)。
九、监督人联系方式(限联系人,联系电话)
采购中心:谭琳 办公电话:(略)
国防科技大学采购中心原文转发