逻辑综合&DC