Digital Logic: With an Introduction to Verilog and FPGA-Based Design