Intel Corporation Interview Question

Can you write a Verilog module for a parameterized counter and explain how you would verify it?