书目详细信息 : VERILOG HDL数字系统设计与验证