RE: [sv-ac]: Missing "(" in sequence s8 example

From: Stuart Sutherland <stuart@sutherland-hdl.com>
Date: Wed Apr 04 2012 - 21:18:55 PDT

This is a typographical error that I can fix in the next draft (which will
be the re-ballot draft).

 

Stu
~~~~~~~~~~~~~~~~~~~~~~~~~~~
Stuart Sutherland

Sutherland HDL, Inc.

stuart@sutherland-hdl.com

503-692-0898
www.sutherland-hdl.com

 

From: Bresticker, Shalom [mailto:shalom.bresticker@intel.com]
Sent: Wednesday, April 04, 2012 7:58 PM
To: hdlcohen@gmail.com; sv-ac@eda-stds.org; stuart@sutherland-hdl.com
Subject: RE: [sv-ac]: Missing "(" in sequence s8 example

 

This goes back to SV 3.1.

 

From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf Of Ben
Cohen
Sent: Thursday, April 05, 2012 4:51 AM
To: sv-ac@eda-stds.org; stuart@sutherland-hdl.com
Subject: [sv-ac]: Missing "(" in sequence s8 example

 

 

16.10, at the end (just before 16.11

 

    sequence s8;

        int x,y;

        (a ##1 (b, x = data, y = data1) ##1 c)

        and (d ##1 (`true, x = data) ##0 (e==x))) ##1 (y==data2);

// legal because y is in the difference

        endsequence

Should be

 

    sequence s8;

        int x,y;

        ((a ##1 (b, x = data, y = data1) ##1 c)

         and (d ##1 (`true, x = data) ##0 (e==x))) ##1 (y==data2);

// legal because y is in the difference

    endsequence

-- 
This message has been scanned for viruses and 
dangerous content by  <http://www.mailscanner.info/> MailScanner, and is 
believed to be clean. 
---------------------------------------------------------------------
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 4 21:19:56 2012

This archive was generated by hypermail 2.1.8 : Wed Apr 04 2012 - 21:20:07 PDT