书目详细信息 : 专业集成电路时序验证