5.1 逻辑综合