Register packages are an awesome tool to easily implement checks on the behavior of our DUT by holding a copy of its state inside a register model. When everything is properly hooked up, writing to the DUT will update the state of this model, while reading from it will check that the output from the DUT matches to what we expect based on the register model's state.
This is a companion discussion topic for the original entry at https://verificationgentleman.netlify.app/2014/06/19/disabling-field-checks-in-vrad.html