6.1.2 逻辑综合的流程