工业和信息化部电子第五研究所FPGA形式化验证工具适配委托开发项目竞争性磋商公告

项目概况工业和信息化部电子第五研究所FPGA形式化验证工具适配委托开发项目采购项目的潜在供应商应在中招联合招标采购平台（网址：http://www.365trade.com.cn）获取采购文件，并于【登录查看】14点30分（北京时间）前提交响应文件。一、项目基本情况项目编号：TC269404P项目名称：工业和信息化部电子第五研究所FPGA形式化验证工具适配委托开发项目采购方式：竞争性磋商预算金额：【登录查看】万元（人民币）最高限价（如有）：【登录查看】万元（人民币）采购需求：项目名称：工业和信息化部电子第五研究所FPGA形式化验证工具适配委托开发项目项目编号：TC2694...