Text this: Designing digital computer systems with Verilog /