数字系统设计与VERILOGHDL(第5版),2014.07,王金明编著,P400