A Verilog implementation of the Hack CPU (specified in Nand2Tetris)