位置>千里马招标网> 招标中心> 形式化验证软件采购公告(2019-GFKD-WT-JS-WZ-40090)
您尚未开通该权限!
咨询客服:400-688-2000,掌握更多商机线索!
- 咨询:400-688-2000查看全部商机
一、项目名称
形式化验证软件
二、项目编号
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)时间:****年11月26 日15时(北京时间)。
(2)地点:(略)
九、采购人联系方式(限联系人,联系电话)
联系人:蒋丽芝 电话:(略),(略)。
九、监督人联系方式(限联系人,联系电话)
采购中心:谭琳 办公电话:(略)
国防科技大学采购中心原文转发
相关公告
注册会员享贴心服务
项目查询服务
·让您全面及时掌握全国各省市拟建、报批、立项、施工在建项目的项目信息
·帮您跟对合适的项目、找对准确的负责人,全面掌握各项目的业主单位、设计院、总包单位、施工企业的项目经理、项目负责人的详细联系方式
·帮您第一时间获得全国项目业主、招标代理公司和政府采购中心发布的招标、中标项目信息
项目定制服务
·根据您的关注重点定制项目,从海量的项目中筛选出符合您的要求和标准的工程并及时找出关键负责人和联系方式
·根据您的需要,向您指定的手机、电子邮箱及时反馈项目进展情况
- 猜你喜欢
- 更多长沙招标采购信息
- 纸箱招标公告
- 11月12日
- 兰州市精神文明建设指导委员会办公室
- 11月12日
- 单证印刷外包服务项目中标结果公示
- 11月12日
- 推进义务教育有保障能力提升培训会
- 11月12日
- 湖北化学好课堂现场教学研讨活动酒店
- 11月12日
- 不动产权证书更正公告(李进新)
- 11月12日
- 秋季秸秆禁烧宣传资料
- 11月12日
- 印刷服务合同
- 11月12日
- 金口所办公用品
- 11月12日
- 安徽省宿州工业学校机械装配实训平台
- 11月12日
- 资料印刷及宣传广告
- 11月12日
- 设备销售合同书
- 11月12日
-
长沙建材网
长沙采购信息网
长沙政府公开信息
长沙公共资源交易网
长沙电力交易中心
长沙交易中心
长沙房产交易中心
长沙工程交易中心
长沙钢铁交易中心
长沙建设交易中心
长沙招投标交易中心
长沙政府交易中心
长沙造价信息网
长沙市政工程信息网
长沙水利工程信息网
长沙通信工程信息网
长沙医药招标网
长沙建筑招标网
长沙工程招标网
长沙建设招标网
长沙施工招标
长沙装饰工程招标
长沙建设工程网
长沙水利招标信息网
长沙电力招标网
长沙建委招投标网
长沙建筑管理网
长沙建设信息港
长沙教育招标网
长沙装修招标
长沙人力和社会保障局
长沙建设网
长沙总包工程
长沙政府工程招标
长沙工程施工招标
长沙工程公开项目
长沙工程采购信息
长沙招标投标采购平台
长沙省市工程建设网