形式化验证软件采购
项目所在采购意向：
中国科学院计算技术研究所年至月政府采购意向
采购单位：
中国科学院计算技术研究所
采购项目名称：
形式化验证软件采购
预算金额：
.万元(人民币)
采购品目：
应用软件
采购需求概况 ：
形式验证软件，支持//等硬件语言，支持波形分析
预计采购时间：
-
备注：
该软件用于对设计进行正式的逻辑验证，找出设计中的逻辑错误，提高设计质量。
本次公开的采购意向是本单位政府采购工作的初步安排，具体采购项目情况以相关采购公告和采购文件为准。
发布媒体:
快捷阅读
