RE: [sv-bc] Re: Mandated warnings

Yes. Also, the correct behavior can be dependent on the input behavior conforming to the assumptions.
Sometimes either the assumptions are incorrect or there is a bug in the generation of the inputs and then incorrect behavior can occur also.

Shalom

________________________________
From: Stephen Hill [mailto:Stephen.Hill@arm.com]
Sent: Thursday, May 07, 2009 2:04 PM
To: Bresticker, Shalom; Rich, Dave
Cc: sv-ec@server.eda.org; SV_BC List; Stephen Hill
Subject: RE: [sv-bc] Re: Mandated warnings

I agree: I should have written "an array in their own code >is intended to be< can be written out of bounds"

rather than "an array in their own code can be written out of bounds"

In other words the designers should know what their design is supposed to do in the absence of mistakes.

...Stephen


________________________________
From: Bresticker, Shalom [mailto:shalom.bresticker@intel.com]
Sent: Thursday, May 07, 2009 11:56 AM
To: Stephen Hill; Rich, Dave
Cc: sv-ec@server.eda.org; SV_BC List
Subject: RE: [sv-bc] Re: Mandated warnings

One comment:


If a designer doesn't know whether an array in their own code can be written out of bounds then they have big problems because they don't understand their own design.
[SB] I think the usual case is that the designer thinks he has written the code so that this cannot happen. But what can we do? We're all human and make mistakes.

Shalom

---------------------------------------------------------------------

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.


--
IMPORTANT NOTICE: The contents of this email and any attachments are confidential and may also be privileged. If you are not the intended recipient, please notify the sender immediately and do not disclose the contents to any other person, use it for any purpose, or store or copy the information in any medium. Thank you.
---------------------------------------------------------------------
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.