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

A number of people have asked me the above question, and my immediate
answer has been no. However, it looks like a number of things that were
ruled out by the BNF in 1364 by having separate function_statement and
statement productions, have been let back in by the 1800 BNF.  Also,
there are a number of new constructs in SystemVerilog that may need
restrictions for use by a function. The fork/join_none was added to
SystemVerilog, but since there are restrictions on any time controlling
statements, or task enables, it doesn't seem to make much sense to allow
it.

 

I'm not sure which committee should have this issue, but I think the
sv-bc should create some guarantees about what a function is and is not
allowed to do. The sv-ec may have to review which added constructs make
or break those guarantees.

 

This is mantis 1336.

 

Dave

 

 

David Rich
Verification Technologist
Design Verification & Test Division
Mentor Graphics Corporation
dave_rich@mentor.com
Office:   408 487-7206
Cell:     510 589-2625