形式化验证工具已具备招标条件，项目招标人为中国电子科技集团公司第三十六研究所，资金为国拨，资金已落实。北京国科军友工程咨询有限公司（招标机构）受中国电子科技集团公司第三十六研究所（招标人）的委托，现对该项目进行国际公开招标。

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

1.1货物需求一览表

序号货物名称数量交货期交货地点

1形式化验证工具1套合同生效后6个月内交货境外提供货物的目的港：CIP上海机场

境内提供货物的到货地点：中国电子科技集团公司第三十六研究所项目使用地。

1.2主要功能要求：

1）支持自定义断言验证，提供覆盖率分析和特定应用验证库；

2）支持Verilog、VHDL、SystemVerilog的混合语言设计；

3）提供形式化覆盖率，能追踪验证过程和未覆盖的功能，加速代码覆盖率收敛。

1.3招标编号：1473-2240GK01H013

2.对投标人的资格要求

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

2.2投标人为代理商，需提供制造商针对本项目的授权证明，并明确承担一切售前、售后责任。

2.3投标产品在中国有一定销售业绩，投标人需提供2018年1月1日至今，本次投标产品在中国的销售案例一个（若投标人为代理商，可提供所代理本次招标的产品的制造商销售业绩；提供销售合同或中标通知书以及用户座机或手机联系方式，如文件为复印件需加盖投标人公章）。

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

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

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

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

3.招标文件获取

3.1 凡有意参加投标者，请于6月29日至2022年7月5日（法定节假日除外），每日上午09时至11时，下午02时至04时（北京时间，下同），将单位全称、联系人姓名、联系方式以及欲参加项目的项目名称发送到gkzb895977879@163.com，进行报名、购买招标文件。

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

4.投标文件的递交

4.1投标文件递交的截止时间（投标截止时间，下同）为2022年7月19日9时00分。投标文件递交的地点为北京市海淀区中关村南大街36号湖北大厦会议室。

4.2投标文件的递交方式：邮寄递交纸质投标文件，投标人须在投标文件递交截止时间前，将投标文件（一套正本、四套副本、一套投标文件电子版）作为一个快递包裹邮寄到招标代理机构指定地点（北京市海淀区中关村南大街31号神舟大厦11层（王朋 18710059117），（两套副本）作为一个快递包裹邮寄到（洪兴路387号中国电子科技集团公司第三十六研究所、联系人：张力、电话：15824348725）疫情期间，请合理安排物流发件时间，建议工作日送达。逾期送达的、未送达指定地点的或者不按照招标文件要求密封的投标文件，招标人将予以拒收。

4.3投标人于快递发出后，将所参与项目名称、投标人名称、法定代表人或其委托代理人（同投标文件中授权委托人）姓名及联系方式、快递公司名称、运单号信息，发送至gkzb895977879@163.com邮箱。

邮寄递交纸质版投标文件，以收件人实际收到快递包裹及包裹签收为准。

本项目采用腾讯视频会议的方式进行开标、唱标等开标工作。（视频码：883-420-009）

5.开标

开标时间为2022年7月19日9时00分，开标地点为北京市海淀区中关村南大街36号湖北大厦会议室。

6.发布公告的媒介

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

10.联系方式

招 标 人：中国电子科技集团公司第三十六研究所

地 址：浙江省嘉兴市洪兴路387号

邮 编：/

联 系 人：张力

电 话：15824348725

传 真：/

电子邮箱：cetcjec@163.com

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

地 址：北京市海淀区中关村南大街31号神舟大厦11层

邮 编：100081

联系人：李元鑫 袁鹏

电话：010-68197276 010-68197295

传真：010-68118720

电子邮件：gkzb895977879@163.com