RE: [sv-bc] variable driven by continous assignment and ref port

From: Bresticker, Shalom <shalom.bresticker@intel.com>
Date: Tue Oct 25 2011 - 04:15:59 PDT

Why would there be a procedural write if the subroutine contains no assignment to the ref argument?

Shalom

From: Steven Sharp [mailto:sharp@cadence.com]

This analysis is possible because module port connections are part of the static hierarchy. On the other hand, ref arguments to tasks/functions are done procedurally at runtime. Therefore I think passing a variable as a non-const ref argument to a task/function should be considered a procedural write. If the subroutine isn't intended to write to the ref argument, then it should be declared a const ref.
---------------------------------------------------------------------
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.
Received on Tue Oct 25 04:16:32 2011

This archive was generated by hypermail 2.1.8 : Tue Oct 25 2011 - 04:16:47 PDT