RE: [sv-bc] expressions not allowed in RHS or continous assign or on port connection list

From: Bresticker, Shalom <shalom.bresticker@intel.com>
Date: Wed Apr 07 2010 - 20:04:53 PDT

There has been in recent years a tendency to try to make illegal various construct uses on the grounds that the user *might* write something that causes problems instead of "trusting the user to write a reasonable function" and warning him to avoid certain uses that would cause problems, thereby outlawing certain useful forms.

SV and Verilog have come under criticism both for being too lenient (by those who like strict type-checking, etc.) and for being too strict. Both camps often bring VHDL as a counter-example. I personally favor the lenient school, relying on coding guidelines to guide users and on code checkers to detect bad uses.

Shalom

> Yes, it is possible for a user to call a function in a
> continuous assignment
> which has a side effect. This could cause a problem.
> However, it is also
> possible that the user has correctly written a pure function
> that does not
> have any side effects. Rather than specifying extra rules
> about what kind
> of functions are legal here, the LRM may be trusting the user
> to write a
> reasonable function. And function calls are too useful to be outlawed
> completely here. Making certain functions illegal here would
> also not be
> backward compatible with Verilog.
---------------------------------------------------------------------
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 Wed Apr 7 20:05:16 2010

This archive was generated by hypermail 2.1.8 : Wed Apr 07 2010 - 20:05:29 PDT