Accellera SuperVerilog Assertion Activity: [sv-ac] Re: [SystemVe

From: ben cohen <hdlcohen@gmail.com>
Date: Sat Mar 19 2011 - 15:49:50 PDT

On Fri, Mar 4, 2011 at 2:07 PM, Accellera Mantis Bug Tracker <mantis@eda.org
> wrote:

>
> The following issue has been ASSIGNED.
> ======================================================================
> http://www.eda-stds.org/mantis/view.php?id=3195
> ======================================================================
> Reported By: Ben Cohen
> Assigned To: Ben Cohen
> ======================================================================
> Project: SystemVerilog P1800
> Issue ID: 3195
> Category: SV-AC
> Reproducibility: always
> Severity: major
> Priority: high
> Status: assigned
> Type: Enhancement
> ======================================================================
> Date Submitted: 2010-09-01 18:44 PDT
> Last Modified: 2011-03-04 14:07 PST
> ======================================================================
> Summary: Local Variables Flow Out Issue in
> and/or/intersect/implies
> Description:
> 16.10 Local Variables
> This section of the LRM provides several restrictions in the flow out of
> local variables when the and,or, intersect operators for sequences /
> properties are used. However, there is a need to be able to set and read
> local variables in one sequence or property (the LHS), and to read those
> local variables in another sequence / property (RHS).
> See attached file
> ======================================================================
>
> ----------------------------------------------------------------------
> (0009728) Ben Cohen (developer) - 2010-09-02 12:44
> http://www.eda-stds.org/mantis/view.php?id=3195#c9728
> ----------------------------------------------------------------------
> Added:
> "The local variable shall not be read in the same cycle it is written."
> "If this automatic variable is read before it is initialized, its value
> shall have its default value based on its type."
>
> [Ben] I believe that there would be a race condition because one property
> can write a value to the local variable while a concurrent property reads
> the property. For example:
> property P_race;
> automatic int v;
> (a, v=data) ##[1:3] b) implies
> (c==v ##2 d): // This consequent may be processed before the
> antecedent.
> endproperty :P_race
>
>
>
> ----------------------------------------------------------------------
> (0009729) Ben Cohen (developer) - 2010-09-05 12:39
> http://www.eda-stds.org/mantis/view.php?id=3195#c9729
> ----------------------------------------------------------------------
> 1. Changed title to:
> Local Variables Flow-in Issue in and/or/intersect/implies
> 2. Changed #4 to:
> The local variable shall not be read in the same time unit it is
> written.
> 3. Updated teh docx file.
>
> ----------------------------------------------------------------------
> (0009731) Ben Cohen (developer) - 2010-09-06 11:26
> http://www.eda-stds.org/mantis/view.php?id=3195#c9731
> ----------------------------------------------------------------------
> I updated my proposal. Please read localvariables_in_implies_v4.pdf
>
> Issue History
> Date Modified Username Field Change
> ======================================================================
> 2010-09-01 18:44 Ben Cohen New Issue
> 2010-09-01 18:44 Ben Cohen File Added: localvariables_in_implies.pdf
>
> 2010-09-01 18:44 Ben Cohen Type => Errata
> 2010-09-01 18:45 Ben Cohen File Added: localvariables_in_implies.docx
>
> 2010-09-01 18:45 Ben Cohen File Added: vartest3.sv
> 2010-09-01 18:51 Ben Cohen File Deleted: localvariables_in_implies.pdf
>
> 2010-09-01 18:51 Ben Cohen File Deleted:
> localvariables_in_implies.docx
>
> 2010-09-01 18:51 Ben Cohen File Added: localvariables_in_implies.pdf
>
> 2010-09-01 18:51 Ben Cohen File Added: localvariables_in_implies.docx
>
> 2010-09-01 22:29 Shalom BrestickerIssue Monitored: Shalom Bresticker
>
> 2010-09-02 00:17 Ben Cohen File Deleted: localvariables_in_implies.pdf
>
> 2010-09-02 00:17 Ben Cohen File Deleted:
> localvariables_in_implies.docx
>
> 2010-09-02 00:17 Ben Cohen File Added: localvariables_in_implies.pdf
>
> 2010-09-02 00:18 Ben Cohen File Added: localvariables_in_implies.docx
>
> 2010-09-02 12:36 Ben Cohen File Deleted: localvariables_in_implies.pdf
>
> 2010-09-02 12:36 Ben Cohen File Deleted:
> localvariables_in_implies.docx
>
> 2010-09-02 12:36 Ben Cohen File Added:
> localvariables_in_implies_v2.pdf
>
> 2010-09-02 12:37 Ben Cohen File Added:
> localvariables_in_implies_v2.docx
>
> 2010-09-02 12:38 Ben Cohen Note Added: 0009728
> 2010-09-02 12:44 Ben Cohen Note Edited: 0009728
> 2010-09-03 09:17 Ben Cohen File Added: re_mantis_3195.pdf
>
> 2010-09-03 09:18 Ben Cohen File Added: re_mantis_3195.docx
>
> 2010-09-05 12:36 Ben Cohen File Added:
> localvariables_in_implies_v3b.docx
>
> 2010-09-05 12:39 Ben Cohen Note Added: 0009729
> 2010-09-06 11:24 Ben Cohen File Added:
> localvariables_in_implies_v4.pdf
>
> 2010-09-06 11:26 Ben Cohen Note Added: 0009731
> 2010-09-06 22:35 Dmitry KorchemnyType Errata =>
> Enhancement
> 2011-03-04 14:07 Dmitry KorchemnyStatus new => assigned
> 2011-03-04 14:07 Dmitry KorchemnyAssigned To => Ben Cohen
> ======================================================================
>
>
> --
> 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 Sat Mar 19 15:50:59 2011

This archive was generated by hypermail 2.1.8 : Sat Mar 19 2011 - 15:51:15 PDT

[sv-ac] Re: [SystemVerilog P1800 0003195]: Local Variables Flow Out Issue in and/or/intersect/implies