DC

      GTECH库(通用布尔逻辑库)是Synopsys公司提供的通用的、独立于工艺的元件库。Synopsys公司提供的综合工具DC把综合分为三个步骤进行synthesis＝translation＋mapping＋optimization。Translation是指把设计的HDL描述转化为GTECH库元件组成的逻辑电路；Mapping是指将GTECH库元件映射到某一特定的半导体工艺库上，此时的电路网表包含了相关的工艺参数。Optimization是根据设计者设

定的时延、面积、线负载模型等综合约束条件对电路网表进一步优化的过程。