Verilog digital system design ; register transfer level synt - Navabi, Zainalabedin