书目详细信息 : 数字电路仿真与EDA设计研究