书目详细信息 : 集成电路静态时序分析与建模