I'm opting for iverilog's interpretation of the specifications here. The commercial simulators I tested seem to agree.
