书目详细信息 : 集成电路系统设计、验证与测试