2.2.6 逻辑综合