面向高可信****设计的形式功能验证工具已具备招标条件，资金为国有资金，资金已落实。北京国科军友工程咨询有限公司（招标机构）受北京控制与电子技术研究所（招标人）的委托，现对该项目进行国际公开招标。

*.招标产品的名称、数量及主要技术参数

*.*货物需求一览表

*.*.*货物名称：面向高可信****设计的形式功能验证工具

*.*.*数 量：*套

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

*.*.*交货地点：

境外提供货物的目的港：***用户现场

境内提供货物的到货地点：用户现场

*.*主要技术参数：

**）用于不依赖仿真测试即可快速验证***设计功能验证，使用功能性、基于覆盖率驱动的断言验证技术，能对各种复杂设计，进行准确的验证；

**） 能够针对验证模块自动生成相应的激励和响应波形，便于分析测试结果；

具体技术指标，详见第八章 货物需求一览表及技术规格。

*.*招标编号：*****************

*.对投标人的资格要求

*.*投标人应为独立的法人机构或其他组织，能够独立承担民事责任，具有有效的营业执照或有效的公司注册登记证明材料。

*.*投标人应是设备原厂制造商或代理商，代理商须提供设备原厂制造商出具的针对本项目的授权证明。

*.*境外投标人须提供其开户银行在开标日期前三个月内开具的资信证明原件或原件复印件；境内投标人应当提供在开标日前三个月内由其开立基本账户的银行开具的银行资信证明的原件或原件复印件。（原件现场备查）

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

*.*投标人必须向招标机构购买招标文件并进行登记才具有投标资格。

*.*其他要求：法律规定的其他要求。

*.招标文件获取

*.* 凡有意参加投标者，请于****年**月**日**时**分至****年**月*日**时**分（法定节假日除外）（北京时间，下同），将单位全称、联系人姓名、联系方式以及欲参加项目的项目名称发送到*************@***.***，进行购买登记领取招标文件。

*.* 招标文件售价：每套****元人民币（招标文件售后不退）。

代理机构收款银行名称：中国工商银行股份有限公司北京长安支行

开户单位：北京国科军友工程咨询有限公司 账号：*******************

投标人须在汇款单上注明：“项目简称及投标人名称”。

*.投标文件的递交

*.* 投标文件递交的截止时间（投标截止时间，下同）为****年**月**日**时**分，地点为北京市海淀区知春路**号院*层。

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

*.开标

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

*.发布公告的媒介

本次招标公告按照相关法规要求在指定媒介上发布。

*.提出异议的渠道和方式

投标人或者其他利害关系人如有异议，须将加盖公章的书面异议函通过传真或者电子邮件形式发送至下述联系人，如未提供加盖公章的异议函，将被视为无效异议。

*.联系方式

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

地 址：北京市门头沟区永安路*号

邮 编：******

联 系 人：宋佩鸿

电 话：***********

招标机构：北京国科军友工程咨询有限公司

地 址：北京市海淀区知春路**号*层

邮 编：******

联 系 人： 袁鹏/张莉杰

电 话： ************、********

传 真： /

电子邮件： *************@***.***

若紧急情况无法联系到本项目联系人，可选择以下备用咨询联系方式：

备用咨询电话：************

咨询邮箱：********@***.***