Re: [sv-bc] Can a function contain a fork/join/any/none?

Likewise, if there are reasons to continue to allow fork...join
in functions, then those would presumably apply to always_comb also.

-- Brad

-----Original Message-----
From: owner-sv-bc@eda.org [mailto:owner-sv-bc@eda.org] On Behalf Of
Steven Sharp
Sent: Thursday, February 16, 2006 12:16 PM
To: ambar.sarkar@paradigm-works.com; sv-ec@eda.org; sv-bc@eda.org;
Dave_Rich@mentor.com
Subject: [sv-bc] RE: [sv-ec] Can a function contain a
fork/join/any/none?

Another data point from 11.2:

"Statements in an always_comb shall not include those that block, have
blocking timing or event controls, or fork...join statements"

Much of the reason that functions are not allowed to block is that they
can be called from combinational logic like continuous assignments and
always_comb.  Since the reasons are similar, the restrictions should
presumably be similar also.  If there are reasons to disallow
fork...join
in always_comb, then those would presumably apply to functions also.

Steven Sharp
sharp@cadence.com