Subject: [sv-ec] ERR-44 - Proposal on consolidation of implication operators
From: Jay Lawrence (lawrence@cadence.com)
Date: Mon Nov 24 2003 - 06:19:48 PST
After discussion at the sv-ec meeting of Nov. 11 and the all committee
face-to-face meeting of Nov. 14 at which implication and transition
operators where discussed, I believe the consensus opinion is to simply
swap the current boolean implication (=>) operator and the current
transition operator (->). This swap makes all forms of implication that
happen in one cycle, have one '-' in the operator (i.e. 1 dash implies 1
cycle, and all forms of implication that happen in two cycles (this one
and the next one) have '=' in the operator (i.e. 2 dashes implies 2
cycles).
This has the side effect of further PSL/SVA alignment where more of the
same semantics now have the same syntax. Note it does not solve all the
alignment issues. There have been some discussions that attempted to
broaden this issue to include all PSL/SVA operators. I believe that we
should stick to this simple case that is held completely within the
sv-ec and allow the FVTC and sv-ac to address further alignment.
The implementation of this change does not involve significant new
wording but rather a series of operator swaps. I've gone through the SV
3.1 LRM and the Ext-10 v6 proposal and attempted to find all occurances
of the operators.
-------------------------------
SV3.1 - changes of '=>' to '->'
-------------------------------
- Table 7-2 on page 48.
- Example on top of page 95 (3 times).
- Parenthetical comment on bottom of page 95.
- Syntax 12-2 on page 99.
- Paragraph beginning with "Constraint_block is".
(Note this paragraph also refers to 'inside' as a
constraint-specific operator which it no longer is)
- Section 12.4.5 Implication (6 times)
- Page 103 2 times in examples
- Page 104 1 time in example
- Page 105 1 time in example
- Page 272 - Syntax A.1.9.
- Page 355 - Index reference
--------------------------------------
EXT-10 version 6 - changes of -> to =>
--------------------------------------
(Note, care must be taken to not change occurences of [*-> ] operators)
- Syntax 20-3 page 8
- Page 8 examples (about 20 times with expansion of repeat operators)
- Page 9 examples on top of page
- Page 10 examples
- Page 20 BNF description
===================================
Jay Lawrence
Senior Architect
Functional Verification
Cadence Design Systems, Inc.
(978) 262-6294
lawrence@cadence.com
===================================
This archive was generated by hypermail 2b28 : Mon Nov 24 2003 - 06:20:33 PST