高级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：
THE THEORY AND PRACTICE OF COMPILER WRITING
JEAN-PAUL TREMBLAY PAUL G.SORENSON1985 年出版796 页ISBN：0070651612
