In reply to Reuben:
What is the natural language requirement you are trying to model as an assertion? When ‘a’ is low, do you expect to see ‘sig1 & sig2 & sig3’ always, followed by ‘sig_B’? Do you only expect ‘sig1 & sig2’ to be true when ‘sig3’ is high? A detailed description of what you want to achieve would help.