{x}{y} in verilog means x occurrences of y