高级ASIC芯片综合 使用Synopsys Design Compiler tm Physical Compiler tm和PrimeTime （第二版）
Himanshu Bhatnagar著2007 年出版240 页ISBN：7302148813
本书描述了用Synopsys工具进行ASIC芯片综合，物理综合，形式验证和静态时序分析的最新概念和技术。
ADVANCED ASIC CHIP SYNTHESIS Using Synopsys Design Compiler Physical Compiler and PrimeTime SECOND E
Himanshu Bhatnagar2002 年出版328 页ISBN：
CHARLES N.FISCHER RICHARD J.LEBLANC1988 年出版811 页ISBN：0805332014
