书目详细信息 : 基于EDA技术的数字系统设计与实践