[sv-ac] mantis 3564

Hi,

I have uploaded updated version based on Shalom's comments. I do not think any change is required for always @* as the rules should be same for immediate asserts as other items. Anyway, lets discuss it in the meeting and decide.

Thanks.
Manisha

-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.