Verilog down counter checking for carry

Hi, this is so basic I'm embarrassed to ask but half an hour googling did not find the answer so here goes. Conventional wisdom says down counters are most efficient way to implement for e...