A Verilog implementation of a Propeller