数字IC学习之五（综合、SVA以及跨时钟域设计）