Subject: Re: [sv-ac] written proposal: sem5
From: Adam Krolnik (krolnik@lsil.com)
Date: Mon Feb 24 2003 - 08:40:44 PST
Hi Cindy;
You proposed:
>examples:
>property p1 (int x) (valid_in) => (x = pipe_in ;[5] pipe_out1 == x+1);
Is this syntax too similar to the parameter syntax? Will one be confused to see
(int x) as possibly an argument for the property? Or see a parameter for
a property as a variable being assigned?
From 0.79 doc, pg 64
property abc(a, b, c) = accept(a==2) never @clk (b;c);
I.e.
property pabcx (a, b, c) (int x) valid_in =>
(x = pipe_in; a;b;c [1:10] pipe_out1 = x+1);
Adam Krolnik
Verification Mgr.
LSI Logic Corp.
Plano TX. 75074
This archive was generated by hypermail 2b28 : Mon Feb 24 2003 - 08:41:43 PST