6.1.1 逻辑综合的定义及发展历程