[sv-ac] rules for concurrent assertion clock in procedural code - tasks

 
There is one more ambiguity in the description which imho need to be
addresed - how all those rules for clock inference should work when tasks
are used inside always/initial procedure.
Compiler should check what is inside a task to see which rule should apply
or finish checking rules on task call assuming that there is nothing
interesting inside  a task?

DANiel


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