XXX: verilog style guide here? Eg, Signed arithmetics in Verilog: The only rule one needs to know http://billauer.co.il/blog/2012/10/signed-arithmetics-verilog/