介绍使用synopsys工具集,进行数字电路的综合,时序检查等工作