Re: [sv-ac] [Fwd: Clock flow in SV assertion]

From: John Havlicek <john.havlicek_at_.....>
Date: Wed Mar 08 2006 - 04:26:40 PST
Surya:

> Some days ago I asked the precedence of @ operator in assertion rule.
> I did not get well defined answer, however by reading the clock flow section,
> it is understood that @ has the weakest precedence.

Ed answered you that "@" is not an assertion expression operator, 
so your line of reasoning to deduce that the LRM example

> @(posedge clk) a ##1 @(posedge clk1) s1 |=> @(posedge clk2) s2;

is wrong is flawed.

I will repeat Ed's answer:  in SVA, "@" is not an expression 
operator.   

Best regards,

John H.

> X-Authentication-Warning: server.eda.org: majordom set sender to owner-sv-ac@eda.org using -f
> Date: Wed, 08 Mar 2006 15:22:41 +0530
> From: Surya Pratik Saha <spsaha@cal.interrasystems.com>
> X-Accept-Language: en
> X-Virus-Status: Clean
> Sender: owner-sv-ac@eda.org
> X-OriginalArrivalTime: 08 Mar 2006 09:55:09.0683 (UTC) FILETIME=[62CDF430:01C64296]
> 
> <!doctype html public "-//w3c//dtd html 4.0 transitional//en">
> <html>
> &nbsp;
> <p>-------- Original Message --------
> <table BORDER=0 CELLSPACING=0 CELLPADDING=0 >
> <tr>
> <th ALIGN=RIGHT VALIGN=BASELINE NOWRAP>Subject:&nbsp;</th>
> 
> <td>Clock flow in SV assertion</td>
> </tr>
> 
> <tr>
> <th ALIGN=RIGHT VALIGN=BASELINE NOWRAP>Date:&nbsp;</th>
> 
> <td>Wed, 08 Mar 2006 10:28:44 +0530</td>
> </tr>
> 
> <tr>
> <th ALIGN=RIGHT VALIGN=BASELINE NOWRAP>From:&nbsp;</th>
> 
> <td>Surya Pratik Saha &lt;spsaha@cal.interrasystems.com></td>
> </tr>
> 
> <tr>
> <th ALIGN=RIGHT VALIGN=BASELINE NOWRAP>To:&nbsp;</th>
> 
> <td>"sv-bc@eda.org" &lt;sv-bc@eda.org>, sv-ac@eda.org</td>
> </tr>
> </table>
> 
> <p>Hi,
> <br>Some days ago I asked the precedence of @ operator in assertion rule.
> I did not get well defined answer, however by reading the clock flow section,
> it is understood that @ has the weakest precedence.
> <p>Considering the fact the given e.g. in LRM (page no. 282, e.g. d)
> <p>@(posedge clk) a ##1 @(posedge clk1) s1 |=> @(posedge clk2) s2;
> <p>will be parsed as:
> <p>@(posedge clk) a ##1 (@(posedge clk1) s1 |=> @(posedge clk2) s2);
> <p>So (@(posedge clk1) s1 |=> @(posedge clk2) s2) will become a property
> expression.
> <p>But as per assertion BNF, ## operator can not have property expression
> in RHS. So the e.g. given in LRM is wrong.
> <p>Please confirm.
> <pre>--&nbsp;
> Regards
> Surya.</pre>
> &nbsp;</html>
>
Received on Wed Mar 8 04:27:00 2006

This archive was generated by hypermail 2.1.8 : Wed Mar 08 2006 - 04:28:58 PST