SoC软硬件协同验证方法及平台设计