[sv-ac] Mantis 2171 & 2175

Hi,

 

I was to review the above Mantis proposal for compatibility with the
proposed handling of assertions in always (and initial) procedures. I
think that 2171 is ok. 

However, 2175 is only partially usable, essentially the changes on page
1 only. The rest  in clause 16.14.6 should be changed or scrapped
altogether based on the new proposal for inference of enabling condition
(if such a thing still exists) and the way assertions are triggered in
procedural code. 

 

Best regards,

ed


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