Codem:支持硬件服务的嵌入式多核系统的软件/硬件协同设计流程