Subject: [sv-ac] Fwd: submission from ["Glenn Wesley"
Forwarding for Glen Wesley
=====
khudi ko kar baland itna Raise your consciousness to such heights
__________________________________________________
This archive was generated by hypermail 2b28
: Sat Jan 25 2003 - 09:14:23 PST
From: faisal haque (fhaque@yahoo.com)
Date: Sat Jan 25 2003 - 09:02:08 PST
-Faisal
--- owner-sv-ac@server.eda.org wrote:
> Date: Sat, 25 Jan 2003 07:59:24 -0800 (PST)
> From: owner-sv-ac@server.eda.org
> To: owner-sv-ac@server.eda.org
> Subject: BOUNCE sv-ac@eda.org: Non-member submission from ["Glenn Wesley"
> <glenn.wesley@ieee.org>]
>
> From owner-sv-ac Sat Jan 25 07:59:17 2003
> Received: from smtpf.ha-net.ptd.net (smtpf.ha-net.ptd.net [207.44.96.86])
> by server.eda.org (8.12.0.Beta7/8.12.0.Beta7) with SMTP id h0PFxCME000368
> for <sv-ac@eda.org>; Sat, 25 Jan 2003 07:59:15 -0800 (PST)
> Received: (qmail 2921 invoked by uid 50005); 25 Jan 2003 15:59:09 -0000
> Received: from glenn.wesley@ieee.org by smtpf.ha-net.ptd.net by uid 50002
> with qmail-scanner-1.15
> (uvscan: v4.1.60/v4243. spamassassin: 2.43. Clear:.
> Processed in 0.370092 secs); 25 Jan 2003 15:59:09 -0000
> Received: from 00045afb5298.msns.sm.ptd.net (HELO k5j0o0) ([24.229.32.25])
> (envelope-sender <glenn.wesley@ieee.org>)
> by smtpf.ha-net.ptd.net (qmail-ldap-1.03) with SMTP
> for <sv-ac@server.eda.org>; 25 Jan 2003 15:59:08 -0000
> From: "Glenn Wesley" <glenn.wesley@ieee.org>
> To: "System Verilog Assertion" <sv-ac@server.eda.org>
> Subject: Rev 0.79 Section 11.4 Sequences
> Date: Sat, 25 Jan 2003 11:00:04 -0500
> Message-ID: <MBEPJLKHELAOLBCNIJKLOEAACHAA.glenn.wesley@ieee.org>
> MIME-Version: 1.0
> Content-Type: text/plain;
> charset="us-ascii"
> Content-Transfer-Encoding: 7bit
> X-Priority: 3 (Normal)
> X-MSMail-Priority: Normal
> X-Mailer: Microsoft Outlook IMO, Build 9.0.2416 (9.0.2910.0)
> Importance: Normal
> X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2800.1106
> In-Reply-To: <5.1.0.14.2.20030124160215.03eeddb0@pophost.synopsys.com>
>
> SV-AC,
>
> Concerning the review started at Thursday's meeting I have the
> following comments and questions on Section 11.4.
>
> (1) The interaction between the ";" sequence_phrase delimiter and the
> range needs further explanation and examples. The concern is with
> the interaction between ';' and range containing '0'.
>
> From Rev 0.79: "The ';' followed by an optional range specifies
> that the sequence_expr should occur later than the 'current' cycle."
>
> This implies that the sequence_expr following the ';' occurs temporally
> after the sequence_expr found before the ';'. This is not the case when
> the sequence_expr after the ';' includes a range of '0'. Here the
> sequence_expr occurs AT the current cycle not later.
>
> Perhaps we can remove the conflict by changing the previous quote to read:
>
> "The ';' separates sequence_phrases of a sequence_expr. All
> sequence_phrases have a default range of [1]. So when no range
> is specified, each ';' represents a clock tick."
>
> This can be further clarified by adding the example:
>
> a ==> [1]a
>
> The point is that ';' is simply a separator of sequence_phrases
> and an indication of sequence_phrase evaluation order,
> and not what indicates sequence temporal progress. Rather it is
> the default range of [1] that forces the sequence progress.
>
> (2) Question on unary delay expressions:
> Is '(([0]a))' a valid representation of '[2]a'?
>
> Regardless this needs further clarification in the document.
>
>
> Glenn Wesley
> Phone: 610-216-2931
> Email: wesley01@ptdprolog.net
>
Faisal Haque
kay har taqdeer say pahlay That Before each new fate
Khuda banday say yeh puchay God queries man
batha teri raza kiya hai Tell me your inclination
Do you Yahoo!?
Yahoo! Mail Plus - Powerful. Affordable. Sign up now.
http://mailplus.yahoo.com