I have mentioned some of the assertions in the protocol checker module. Now I have to "TEST MY ASSERTIONS" and I am not getting the exact meaning of this words. Can anyone explain me in brief what does this mean exactly?
Have to provide a stimulus in order to check all the assertions are working fine or not.