Most of our whitebox checkers are developed at the time of RTL verification. Re using these checkers during GLS is tedious, as we have to manually update hierarchical path of the signals used in the checker.
Is there a way to make this process easier?