[sv-ac] Your concern about Mantis 2093: Checker construct should permit output arguments

Hi Stu,

In your feedback to 2093 you express the following concern:

I am concerned about the following new rule about checker output port
connections being similar to continuous assignments.

   "Checker actual output arguments shall be variable_lvalue or net_lvalue. The
    checker instantiation should be treated as if there were continuous
    assignments, executed in the Reactive region, of the checker's output
    formal arguments to their corresponding actual arguments."

I believe checker outputs can use types that have no continuous assignment
rules. I do not feel qualified to say that this is a problem, and so I am
abstaining and leaving it to other experts to object if there is a problem
here.

According to our understanding all checker outputs have types that allow continuous assignments. Can you provide any specific exception?

Thanks,
Dmitry
---------------------------------------------------------------------
Intel Israel (74) Limited

This e-mail and any attachments may contain confidential material for
the sole use of the intended recipient(s). Any review or distribution
by others is strictly prohibited. If you are not the intended
recipient, please contact the sender and delete all copies.

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