[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