[sv-ac] RE: 2100 sync resets

Hi Dmitry,

I have reviewed your proposal,

other than coloring blue the added text in section "F.3.1.2 Rewrite rules for properties"
 Tp(accept_if(b) p, c) = ( (accept_on(b && c) Tp(p, c)).

the proposal looks great,

Thank you,
Yaniv


-----Original Message-----
From: Korchemny, Dmitry [mailto:dmitry.korchemny@intel.com] 
Sent: Sunday, January 27, 2008 17:48
To: Eduard Cerny; Fais Yaniv
Cc: sv-ac@eda.org
Subject: 2100 sync resets

Hi Ed,

I added a note about the leading edge of synchronous aborts. Do you agree with this definition? Will it be sufficient?

Thanks,
Dmitry

-----Original Message-----
From: Eduard Cerny [mailto:Eduard.Cerny@synopsys.com]
Sent: Wednesday, January 23, 2008 8:16 PM
To: Korchemny, Dmitry; Eduard Cerny
Subject: RE: sync resets

 
Hi Dmitry,

yes I think it does follow from the rewriting rules, but it might be good to mention it in the main text too. 

Best...
ed
> -----Original Message-----
> From: Korchemny, Dmitry [mailto:dmitry.korchemny@intel.com]
> Sent: Wednesday, January 23, 2008 12:11 PM
> To: Eduard Cerny
> Subject: RE: sync resets
> 
> Hi Ed,
> 
> It should be sampled by ck1. Should this follow from the clock 
> rewriting rules?
> 
> 	T^p(accept_if(b) p, c) = ( (accept_on(b && c) T^p(p, c)).
> 
> I will add an explicit explanation to the text.
> 
> Thanks,
> Dmitry
> 
> 
> -----Original Message-----
> From: Eduard Cerny [mailto:Eduard.Cerny@synopsys.com]
> Sent: Wednesday, January 23, 2008 6:33 PM
> To: Korchemny, Dmitry
> Cc: Eduard Cerny
> Subject: sync resets
> 
> Hi Dmitry,
> 
> how does clock flow work with these operators?
> 
> e.g., if you have
> property p0;
> 	@ck00 a  or  ck01 b;
> endproperty
> 
> property p1;
>  @ck1 reject_if (c) p0;
> endproperty
> 
> is c sampled by ck1 or is it associated with the leading clocks of p0?
> My guess is the former, but I do not recall seeing anything about 
> clock flow in the spec. Did I miss it in my fast reading?
> 
> Thanks,
> ed
> ---------------------------------------------------------------------
> Intel Israel (74) Limited
> 
> This e-mail and any attachments may contain confidential material for 
> the sole use of the intended recipient(s). Any review or distribution 
> by others is strictly prohibited. If you are not the intended 
> recipient, please contact the sender and delete all copies.
> 
> 
---------------------------------------------------------------------
Intel Israel (74) Limited

This e-mail and any attachments may contain confidential material for the sole use of the intended recipient(s). Any review or distribution by others is strictly prohibited. If you are not the intended recipient, please contact the sender and delete all copies.

-- This message has been scanned for viruses anddangerous content by MailScanner, and isbelieved to be clean.