Text this: Digital design and synthesis with verilog HDL /