RE: [sv-ac] summary for 805

From: Bassam Tabbara <Bassam.Tabbara_at_.....>
Date: Thu Sep 21 2006 - 10:26:32 PDT
Hi Manisha/John,

I managed to update it ("Update Bug" works for developer account it
seems). 

Thx.
-Bassam.

-----Original Message-----
From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf Of
Kulshrestha, Manisha
Sent: Thursday, September 21, 2006 9:55 AM
To: john.havlicek@freescale.com; sv-ac@eda-stds.org
Subject: RE: [sv-ac] summary for 805

John,

I think Ed probably has access to do that. I do not see any option for
me to do that.

Manisha 

-----Original Message-----
From: owner-sv-ac@server.eda.org [mailto:owner-sv-ac@server.eda.org] On
Behalf Of John Havlicek
Sent: Thursday, September 21, 2006 4:59 AM
To: sv-ac@server.eda-stds.org
Subject: [sv-ac] summary for 805

All:

The summary of 805 says "disable iff condition should produce vacuous
match".

This is no longer accurate.  We have decided that disabled attempts are
neither successes nor failures.

Can we change this summary to avoid potential confusion?  I suggest
something like "disabled attempts should be neither successes nor
failures".

J.H.
Received on Thu Sep 21 10:26:40 2006

This archive was generated by hypermail 2.1.8 : Thu Sep 21 2006 - 10:26:45 PDT