逻辑综合片段