RAL Model Doubts

In reply to rkg_:

bus2reg is not storing anything. Did you also the registers in the DUT?