一、项目基本情况

原公告的采购项目编号：WTSB20090300025

原公告的采购项目名称：FPGA形式化验证工具

首次公告日期：　2020年10月30日　　

二、更正信息

更正事项：√采购公告□采购文件□采购结果

更正内容：简要技术要求，更正为：FPGA形式化验证工具可自动分析RTL代码，对被测软件的功能需求进行形式化验证，并可基于覆盖率分析的方法，指导测试人员增删、优化断言设计，提升测试充分性，最终实现由覆盖率驱动的软件功能形式化验证。

更正日期：同本公告发布日期

三、其他补充事宜

采购方式：公开招标

四、凡对本次公告内容提出询问，请按以下方式联系。

1、采购人：中国工程物理研究院计算机应用研究所

通讯地址：四川绵阳市游仙区科学城绵山路64号

邮    编：621999

联 系 人： 刘女士

联系电话：0816-2488302

2、采购代理机构：中国工程物理研究院物资部

开户银行：工行科学城支行

账    号：2308415109100007095

通讯地址：四川绵阳市游仙区科学城中物院物资部

邮    编：621999

联 系 人：黎军

联系电话：0816-2494336/2487959

传    真：0816-2485694

电子邮件：728820194@QQ.com

3.项目联系方式

项目联系人：黎军

电　　话：0816-2494336/2487959