[sv-bc] RE: Mandated warnings -- was Re: [sv-ec] Mantis 2701, ballot ID #44 - Arturo's feedback

From: Brad Pierce <Brad.Pierce_at_.....>
Date: Sat May 02 2009 - 00:45:20 PDT
Shalom,

> Attempting out-of-bounds writes is *not* expected in most real situations.
> Many languages don't let you do it at all.
> Verilog not only does it, it does not even tell you it is doing it, and detecting it is a real pain.

The no-op semantics of Verilog out-of-bounds writes (for known indices) does seem weird. By analogy with the x-pessimism of much of the language, I would have expected maybe the entire array to be x'ed out.

How often does this gotcha get you in practice?

-- Brad

-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.
Received on Sat May 2 00:47:07 2009

This archive was generated by hypermail 2.1.8 : Sat May 02 2009 - 00:48:36 PDT