Ed is correct. Logical operators were 11.4.8 in Draft 3a, but they are 11.4.7 in Draft D4. Shalom > -----Original Message----- > From: owner-sv-ac@server.eda.org > [mailto:owner-sv-ac@server.eda.org] On Behalf Of Eduard Cerny > Sent: Tuesday, December 04, 2007 8:46 PM > To: john.havlicek@freescale.com; Korchemny, Dmitry > Cc: sv-ac@server.eda.org > Subject: [sv-ac] FW: [SystemVerilog P1800 0001758]: Boolean > implication -> and equivalence <-> > > Hello John, Dmitry, > > the last comment / correction says that the change to 11.4.7 should be > 11.4.8 in D4. I tend to disagree (unless something has > changed in D4 or other mantis items that I do not see) > because 11.4.8 talks about bitwise operators, while -> and > <-> are logical operators. > > Please clarify the required changes in the proposal. > > Thank you, > ed > > > > > -----Original Message----- > From: Accellera Mantis Bug Tracker [mailto:mantis@eda-stds.org] > Sent: Wednesday, November 07, 2007 8:25 PM > To: Eduard.Cerny@synopsys.COM > Subject: [SystemVerilog P1800 0001758]: Boolean implication > -> and equivalence <-> > > > A NOTE has been added to this issue. > ============================================================== > ======== > http://www.eda-stds.org/svdb/view.php?id=1758 > ============================================================== > ======== > Reported By: Eduard_Cerny > Assigned To: Eduard_Cerny > ============================================================== > ======== > Project: SystemVerilog P1800 > Issue ID: 1758 > Category: SV-AC > Reproducibility: always > Severity: feature > Priority: normal > Status: resolved > Type: Enhancement > Resolution: fixed > Fixed in Version: > ============================================================== > ======== > Date Submitted: 2007-03-12 13:29 PDT > Last Modified: 2007-11-07 17:24 PST > ============================================================== > ======== > Summary: Boolean implication -> and equivalence <-> > Description: > Two new Boolean operators implication -> and equivalence > <-> are introduced. The operators can be used in any expressions. In > fact, in constraints the operator -> already exists with the same > meaning > as the one to be introduced. These operators can also be used on > property > expressions. > ====================================================================== > Relationships ID Summary > ---------------------------------------------------------------------- > related to 0001035 Syntax 8-1 and Table 8-1 misclassificat... > ============================================================== > ======== > > -------------------------------------------------------------- > -------- > john_havlicek - 2007-10-04 07:34 > -------------------------------------------------------------- > -------- > Passed by e-mail vote 2007-10-02, 9y/0n/1a. There were two friendly > amendments. The proposal needs to be aligned with Draft4. > > -------------------------------------------------------------- > -------- > john_havlicek - 2007-10-18 06:58 > -------------------------------------------------------------- > -------- > 2007-10-17, passed by e-mail vote, 9y/0n/1a. There was a friendly > amendment to fix a minor font problem. > > > > -------------------------------------------------------------- > -------- > john_havlicek - 2007-10-19 04:23 > -------------------------------------------------------------- > -------- > 2007-08-18: The font problem has been fixed, so the item is > resolved. > > -------------------------------------------------------------- > -------- > john_havlicek - 2007-11-07 17:24 > -------------------------------------------------------------- > -------- > 2007-11-07. In 1758_BoolImplication.071018.pdf, the changes to 11.4.7 > should be to 11.4.8 in D4. > > Issue History > Date Modified Username Field Change > > ============================================================== > ======== > 2007-03-12 13:29Eduard_Cerny New Issue > > 2007-03-12 13:29Eduard_Cerny Type => > Enhancement > > 2007-03-12 13:31Eduard_Cerny File Added: > BoolImplication1758.070312.pdf > > 2007-03-12 23:56shalom Status new > => assigned > > 2007-03-12 23:56shalom Assigned To => > Eduard_Cerny > > 2007-03-12 23:56shalom Issue Monitored: shalom > > 2007-09-18 07:27Eduard_Cerny File Added: > BoolImplication1758.070918.pdf > > 2007-09-18 07:36shalom Relationship added related to > 0001035 > 2007-09-18 14:15Eduard_Cerny File Deleted: > BoolImplication1758.070918.pdf > > 2007-09-18 14:15Eduard_Cerny File Added: > BoolImplication1758.070918.pdf > > 2007-10-04 07:34john_havlicek Note Added: 0004862 > > 2007-10-04 14:09Eduard_Cerny File Added: > 1758_BoolImplication.071004.pdf > > 2007-10-08 05:15Eduard_Cerny File Added: > 1758_BoolImplication.071005.pdf > > 2007-10-08 05:15Eduard_Cerny File Deleted: > BoolImplication1758.070312.pdf > > 2007-10-08 05:16Eduard_Cerny File Deleted: > 1758_BoolImplication.071004.pdf > > 2007-10-18 06:55john_havlicek Note Added: 0004972 > > 2007-10-18 06:58john_havlicek Note Edited: 0004972 > > 2007-10-18 14:44Eduard_Cerny File Added: > 1758_BoolImplication.071018.pdf > > 2007-10-18 14:45Eduard_Cerny File Deleted: > 1758_BoolImplication.071005.pdf > > 2007-10-19 04:23john_havlicek Note Added: 0004979 > > 2007-10-19 04:24john_havlicek Status assigned => > resolved > 2007-10-19 04:24john_havlicek Resolution open => fixed > > 2007-10-19 04:24john_havlicek Status resolved => > feedback > 2007-10-19 04:24john_havlicek Resolution fixed => > reopened > 2007-10-19 04:24john_havlicek File Deleted: > BoolImplication1758.070918.pdf > > 2007-10-19 04:24john_havlicek Status feedback => > resolved > 2007-10-19 04:24john_havlicek Resolution reopened => > fixed > 2007-11-07 17:24john_havlicek Note Added: 0005126 > > ====================================================================== > > > -- > This message has been scanned for viruses and > dangerous content by MailScanner, and is > believed to be clean. > > > -- > This message has been scanned for viruses and > dangerous content by 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 Tue Dec 4 13:19:15 2007
This archive was generated by hypermail 2.1.8 : Tue Dec 04 2007 - 13:20:20 PST