tree 6588fc73ad86b4477dc0c25ce691166a581c755e
parent a48057d149e6c5c22f11dd62e728155c68a9c04f
author Yenkai Wang <ykwang@google.com> 1753231879 -0600
committer Yenkai Wang <ykwang@google.com> 1753902762 -0700

[dv, cosim] Enable lock-step PC and GPR verification with MPACT-Sim

Implements the full end-to-end co-simulation comparison for scalar
instructions (PC and GPRs).

The `kelvin_cosim_checker` in UVM is to:
- Call the DPI functions to get the golden state from the simulator.
- Compare the retired PC and GPR writeback data from the DUT's RVVI
  trace against the MPACT-Sim state.
- Report `COSIM_PC_MISMATCH` or `COSIM_GPR_MISMATCH` upon failure.

Change-Id: I5d7f02c6d347b4308bc4ea8a38f08ce2407659e0