A Verilog implementation of the Propeller