北京大学重庆碳基集成电路研究院EDA集成电路设计平台算力服务器采购项目中标公告