SoC设计中IP复用和验证策略