1、招标条件
项目概况:可实现FPGA软件中多时钟域之间的跨时钟域检查问题，避免FPGA软件中存在亚稳态等不稳定的电路设计，保证FPGA软件产品的可靠性和安全性。对代码的结构、可综合性、信号竞争等多方面进行检查和提出修改建议。采用数学算法遍历系统所有状态，以基于断言的方式查找设计中的设计错误，具有速度快、验证完全且易用等优点。
资金到位或资金来源落实情况:资金已落实。
项目已具备招标条件的说明:已经相关部门批准，并委托资质合格的招标代理公司，依据招投标法，按招标流程进行本项目。
2、招标内容
编号:0722-174FE1449LJO
名称:北京航天自动控制研究所时钟域分析工具
项目实施地点:中国北京市
招标产品列表(主要设备):
| 序号 | 产品名称 | 数量 | 简要技术规格 | 备注 |
| 1 | 时钟域分析工具 | 1套 | *能够实现跨时钟域问题的完整自动化检查；*支持手动设置时钟域；*能够自动分析出所有跨时钟域的路径 |
3、投标人资格要求
投标人应具备的资格或业绩:投标人是响应招标、已在处领购招标文件并参加投标竞争的法人或其他组织。任何未在处领购招标文件的法人或其他组织均不得参加投标；投标方如代理国外产品，需提供该产品的授权函，同一软件只能由一个授权代理商竞标；
是否接受联合体投标:不接受
未领购招标文件是否可以参加投标:不可以
4、招标文件的获取
招标文件领购开始时间:2017-12-18
招标文件领购结束时间:2017-12-25
是否在线售卖标书:否
获取招标文件方式:现场领购
招标文件领购地点：中国远东国际招标公司七层
招标文件售价:￥800/$150
5、投标文件的递交
投标截止时间（开标时间）:2018-01-11 13:30
投标文件送达地点:北京市朝阳区和平街东土城路甲9号中国远东国际招标公司101会议室
开标地点:北京市朝阳区和平街东土城路甲9号中国远东国际招标公司101会议室
6、投标人在投标前需在中国电力招标采购网上完成注册。评标结果将在中国电力招标采购网公示。
7、联系方式
招标人:北京航天自动控制研究所
地址: 北京市海淀区永定路50号
联系人:王峰
联系方式:0086-010-67716280-201
招标代理机构:中国远东国际招标公司
地址:北京市朝阳区和平街东土城路甲9号
联系人:冯岩
联系方式:0086-010-67716280/13901314480
8、汇款方式:
招标代理机构开户银行(人民币):华夏银行东直门支行
招标代理机构开户银行(美元):华夏银行东直门支行
账号(人民币):4047200001819100030941
账号(美元):4047200001819100030941
