1、合同名称：中国科学院信息工程研究所硬件RTL代码形式化验证工具采购项目
2、合同编号：OITC-G200291740
3、项目编号：OITC-G200291740
4、项目名称：中国科学院信息工程研究所硬件RTL代码形式化验证工具采购项目
5、主要标的名称：硬件RTL代码形式化验证工具
6、规格型号或服务要求：ATEC-V3.2
7、主要标的数量：2
8、主要标的单价：622500
9、合同金额(万元)：124.500000
10、履约期限、地点等简要信息：北京
11、采购方式：竞争性谈判
12、合同签订日期：2020-12-14
13、合同公告日期：2020-12-17
14、其他补充事宜：
15、所属地域：
16、所属行业：
17、代理机构：
18、年份：2020.0
采购人(甲方)：中国科学院信息工程研究所
采购人地址：北京市海淀区闵庄路甲89号
采购人联系方式：82546876
供应商(乙方)：上海珞微信息技术有限公司
供应商地址：上海市闵行区莘福路388号2栋205室
供应商联系方式：0000000
提示：以上数据根据互联网公开信息整合而成，仅供用户参考。建议您使用前再次确认数据真实准确性，您的任何决策由您自行承担风险。
