[sv-ac] 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 and
dangerous content by MailScanner, and is
believed to be clean.