RE: [sv-bc] function task calling

Could we add text saying that a system task is a void system function?

-- Brad

-----Original Message-----
From: Steven Sharp [mailto:sharp@cadence.com] 
Sent: Saturday, September 08, 2007 11:53 AM
To: sv-bc@eda-stds.org; Brad.Pierce@synopsys.COM
Subject: RE: [sv-bc] function task calling


>Rather than a blanket prohibition on task enables in function 
>definitions, should the prohibition in 13.4.b be weakened to only 
>disallow enables of tasks with statements that would be illegal in a 
>function?

Why?

This would require a messy analysis of the entire call graph.  And with
virtual method tasks, this analysis cannot even be done statically
unless you are willing to be very conservative.

Any task that satisfies these restrictions could be declared as a void
function instead.

Steven Sharp
sharp@cadence.com


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