形式化验证工具招标人为北京控制与电子技术研究所，招标项目资金来自国拨资金，出资比例为100%。该项目已具备招标条件，现对形式化验证工具项目采购进行国际公开招标。

1. 招标范围

1.1 货物名称：形式化验证工具。

1.2 招标编号：0779-18400122A001。

1.3 总体要求: 采用形式验证技术来判断一个设计的RTL源码和综合后、布局布线后的门级网表在逻辑上是否一致。

1.4 数量：1套。

1.5 交货期：合同签订后3个月内交付产品。

1.6 项目现场：中国北京市西城区木樨地北里甲51号。

2. 对投标人的资格要求

2.1 投标人具有法人资格，提供有效的营业登记等许可经营的证明文件。

2.2 投标人必须获得制造商的合法授权，提供制造商授权书。

2.3 本项目不接受联合体投标。

2.4 投标人必须向招标代理机构购买招标文件并进行登记才具有投标资格。接受委托参与项目前期咨询和招标文件编制的法人或其他组织不得参加投标。

3. 招标文件获取

3.1凡有意参加投标者，请于2018年4月28日至2018年5月9日17时(北京时间，下同)，登陆中招联合招标采购平台（http://www.365trade.com.cn/）下载电子招标文件。下载者请务必至少在文件发售截止时间半个工作日前登录平台完成购买操作，否则将无法保证获取电子招标文件。

3.2招标文件每套售价800元，平台下载费50元，售后不退。

3.3下载者登陆平台前，须前往中招联合招标采购平台:http://www.365trade.com.cn/免费注册（平台仅对供应商注册信息与其提供的附件信息进行一致性检查）；注册为一次性工作，以后若有需要只需变更及完善相关信息；注册成功后，可以及时参与平台上所有发布的招标项目。

3.4下载者选择“需要邮购纸质标书”的，需支付邮购费，招标代理机构将在文件下载后的1个工作日内寄送。

3.5下载者需要发票的，须通过平台填写“开票申请”；招标文件费用及邮购费发票由招标代理机构出具；平台下载费发票由平台公司出具，联系平台公司领取。

3.6平台公司咨询电话为：4000928199；平台将确保下载者的购买信息在开标前对平台公司有关工作人员保密；如下载者主动与平台公司工作人员联系咨询事宜，则视为下载者主动放弃信息保密的权利，平台公司将不承担任何责任。

4. 投标文件的递交

4.1 投标文件递交的截止时间为2018年5月22日9时30分，投标文件递交地点为北京市海淀区金沟河路与采石北路十字路口东南角88号大楼中科信会议中心三层会议室。

4.2 逾期送达的或者未送达指定地点的投标文件，招标人不予受理。

5. 开标

开标时间同投标文件递交的截止时间，开标地点同投标文件递交地点。

6.联系方式

招标人名称：北京控制与电子技术研究所

地址：中国北京市西城区木樨地北里甲51号

联系人：盛先生

电话：010-63301398

传真：010-63466668

招标代理机构名称：中科信工程咨询（北京）有限责任公司

地址：北京市海淀区金沟河路与采石北路十字路口东南角88号大楼六层

售卖联系人：刘女士

电话：010-88529059

传真：010-88529153