My RTL has a signal I want compare to a variable in a class.
A module has visibility to the RTL signal, but not the model variable.
1. I could create a monitor and a scoreboard, and have the monitor and model provide transactions to it (scoreboard it).
Seems like overkill; a one-line assertion somewhere would be nicer.
2. set up a checker task in the model that waits on events from an interface, then compares the RTL signal to its local variable.