书目详细信息 : ASIC设计理论与实践:RTL验证、综合与版图设计