讲述ASIC下逻辑综合 以及使用synopsys 进行DC综合的过程及原理