北京控制与电子技术研究所面向高可信FPGA设计的形式功能验证工具招标公告

面向高可信FPGA设计的形式功能验证工具已具备招标条件，资金为国有资金，资金已落实。****（招标机构）受****（招标人）的委托，现对该项目进行国际公开招标。

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

1.1货物需求一览表

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

1.1.2数 量：1套

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

1.1.4交货地点：

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

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

1.2主要技术参数：

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

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

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

1.3招标编号：****

2.对投标人的资格要求

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

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

2.3境外投****银行在开标日期前三个月内开具的资信证明原件或原件复印件；境内投标人应当提供在开标日前三个月内由****银行****银行资信证明的原件或原件复印件。（原件现场备查）标书代写

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

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

2.6其他要求：法律规定的其他要求。

3.招标文件获取

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

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

****银行名称：****银行****公司****支行

开户单位：**** 账号：020********04742978

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

4.投标文件的递交

4.1 投标文件递交的截止时间（投标截止时间，下同）为2026年2月6日09时30分，地点为**市**区知春路61号院4层。标书代写

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

5.开标

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

6.发布公告的媒介

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

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

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

8.联系方式

招 标 人：****

地 址：**市**区**路1号

邮 编：100038

联 系 人：宋佩鸿

电 话：010****6089

招标机构：****

地 址：**市**区知春路61号8层

邮 编：100081

联 系 人： 袁鹏/张莉杰

电 话： 010-****8619、****6870

传 真： /

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

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

备用咨询电话：010-****6923

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