面向SoC系统芯片中跨时钟域设计的模型验证-(设计跨时钟域信号等效电路)