verilog电子设计自动化基础,哈尔滨工业大学微电子中心 王进祥 李晓明