Subject: FW: BOUNCE vfv@eda.org: Non-member submission from ["Yum, Sunny"
forwarded submission by non-member
-------------------------------------------
| -----Original Message-----
This archive was generated by hypermail 2b28
: Mon Aug 18 2003 - 19:09:30 PDT
From: Erich Marschner (erichm@cadence.com)
Date: Mon Aug 18 2003 - 18:41:58 PDT
Erich Marschner, Cadence Design Systems
Senior Architect, Advanced Verification
Phone: +1 410 750 6995 Email: erichm@cadence.com
Vmail: +1 410 872 4369 Email: erichm@comcast.net
| From: owner-vfv@eda.org [mailto:owner-vfv@eda.org]
| Sent: Monday, August 18, 2003 9:32 PM
| To: owner-vfv@eda.org
| Subject: BOUNCE vfv@eda.org: Non-member submission from ["Yum, Sunny"
| <Sunny_Yum@mentorg.com>]
|
|
| >From owner-vfv Mon Aug 18 18:31:57 2003
| Received: from relay1.mentorg.com (relay1.mentorg.com
| [192.94.38.131])
| by server.eda.org (8.12.0.Beta7/8.12.0.Beta7) with
| ESMTP id h7J1Vu6O029180
| for <vfv@eda.org>; Mon, 18 Aug 2003 18:31:57 -0700 (PDT)
| Received: from svr-orw-exc-01.wv.mentorg.com ([147.34.96.78])
| by relay1.mentorg.com with esmtp
| id 19ovLo-0004F3-00 from Sunny_Yum@mentor.com
| for vfv@eda.org; Mon, 18 Aug 2003 18:31:56 -0700
| Received: by svr-orw-exc-01.wv.mentorg.com with Internet
| Mail Service (5.5.2653.19)
| id <RAJ9WVP6>; Mon, 18 Aug 2003 18:31:55 -0700
| Received: from svr-cas-exc-01.sje.mentorg.com
| ([134.86.188.110]) by svr-orw-exc-01.wv.mentorg.com with
| SMTP (Microsoft Exchange Internet Mail Service Version 5.5.2653.13)
| id RAJ9WVP5; Mon, 18 Aug 2003 18:31:55 -0700
| Received: by svr-cas-exc-01.sje.mentorg.com with Internet
| Mail Service (5.5.2653.19)
| id <L153JQY1>; Mon, 18 Aug 2003 18:31:54 -0700
| From: "Yum, Sunny" <Sunny_Yum@mentorg.com>
| To: vfv@server.eda.org
| Message-ID:
| <9DF732C426A0B7419B51C8E1B33B997B02D6A775@svr-cas-exc-01.sje.
| mentorg.com>
| Subject: LRM forall inconsistency
| Date: Mon, 18 Aug 2003 18:31:53 -0700
| MIME-Version: 1.0
| X-Mailer: Internet Mail Service (5.5.2653.19)
| Content-Type: text/plain
|
| Hello,
|
| I recently stumbled upon the inconsistency in the PSL LRM (v1.01) with
| regard to the use of a replicator variable in repetition counts and did a
| quick search in the mailing list archives that turned up the following
| message that points out the same issue:
|
| > Subject: forall
| > From: Adriana Maggiore (adriana.maggiore@transeda.com)
| > Date: Thu May 08 2003 - 08:24:28 PDT
| >
| > Hello,
| >
| > I think that there is an inconsistency in the PSL 1.0 LRM
| > with respect to the usage of forall replication variables as
| > repetition counts.
| >
| > On page 71 it says:
| > "An implementation may impose restrictions on the use
| > of a replication variable Name defined by a Replicator.
| > However, an implementation shall support at least comparison
| > (equality, inequality) between the Name and an expression,
| > and use of the Name as and index or repetition count."
| > ^^^^^^^^^^^^^^^^^
| >
| > The note on the same page says:
| > "The Name defined by a replicator represents
| > a non-static variable".
| > ^^^^^^^^^^
| >
| > According to the restrictions on the repetition operators,
| > (pages 35,36,37) the repetition count must be
| > statically computable.
| > ^^^^^^^^^^^^^^^^^^^^^
| >
| > This seams inconsistent to me and I think that the
| > usage of replication variables as repetition counts
| > should be disallowed.
| >
| > Best regards,
| > Adriana
|
| Has this issue been resolved?
|
| Regards,
| Sunny
|
|