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?

-- Brad  

-----Original Message-----
From: owner-sv-bc@eda.org [mailto:owner-sv-bc@eda.org] On Behalf Of
Steven Sharp
Sent: Friday, September 07, 2007 11:28 AM
To: sv-bc@eda-stds.org; shalom.bresticker@intel.com
Subject: Re: [sv-bc] function task calling


>Since functions are not allowed to call tasks, how can a function 
>contain a call to $display?

Functions are not allowed to delay.  Functions are not allowed to call
tasks because a task could delay, indirectly delaying the function.

System tasks cannot delay, so there is no problem with allowing
functions to call them.  In SV terms, all system tasks are essentially
void functions.


>What types of built-in system tasks are functions allowed to call?

I am not aware of any built-in system task that can delay, so I don't
think there is any restriction.  I don't think there is a way for a
user-defined system task to delay either, so I don't think there is any
need for a restriction there either.

I think this restriction is a case where "task" means "task", not "task
or system task."

Steven Sharp
sharp@cadence.com


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


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