Update Registers.v