[sv-bc] Task enables in always_comb/latch/ff

In 9.2.2.2.2, the LRM says --

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

In http://www.eda-stds.org/svdb/view.php?id=225 , Dave writes --

  "A task enable is also a blocking statement because we do not know if
the task contains a blocking statement, or if it calls another task that
contains a blocking statement."

So task enables are not allowed in an always_comb?

Also, in 9.2.2.4, the LRM says --

  "The always_ff procedure imposes the restriction that it contains one
and only one event control and no blocking timing controls."

So in always_ff it is allowed to have fork-join statements and
statements that block, for example, task enables?

-- Brad


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