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.Received on Tue Dec 4 10:46:06 2007
This archive was generated by hypermail 2.1.8 : Tue Dec 04 2007 - 10:46:35 PST