In reply to mago1991:
Such specific signals sometimes have kind of special behaviour. Let’s say boot signals which usually notifies you that the entire boot is accomplished properly. In this case your SCBD could implement a model which might do the same and then compare. Anyways I’m barely talking about special single signals.
For general purpose bits of a general data bus for instance i would suggest you using assertions to check if the behaviour matches. Usually if in the SCBD it means you are about to use it for checking (interrupts, special signals, or others) in a kind of model.
My approach is more about how crucial is that signal and how is gonna be consumed by the HW is input/output or reg. If output assetions might be enough if not really crucial. Regards