8.3 实例——用Synopsys的工具Design Compiler (DC)进行逻辑综合