高级ASIC芯片综合

本书描述了用Synopsys工具进行ASIC芯片综合,物理综合,形式验证和静态时序分析的最新概念和技术。

2007.