[sv-ac] P1800-2009: checker: Is "assign" legal in checkers?

LRM seems to indicate that this is illegal, but are some vendors allowing
this?  Any reason as to why it is illegal?  *checker *c(*logic *b, d, e, f,
clk);
  *logic *a;
  *assign *a = b && d;  *// Legal? *
// 17.1 LRM:   The modeling mechanism in checkers is limited to nonblocking
assignments only
   *assert property* (@ (posedge clk) a |=> e);
*endchecker* : c
// Ben

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