FW: [sv-ac] FW: #805

Resend for Bassam

-----Original Message-----
From: owner-sv-ac@server.eda-stds.org
[mailto:owner-sv-ac@server.eda-stds.org] On Behalf Of Bassam Tabbara
Sent: Friday, June 16, 2006 10:02 PM
To: john.havlicek@freescale.com; Bassam.Tabbara@synopsys.com
Cc: Manisha_Kulshrestha@mentor.com; piper@cadence.com;
Eduard.Cerny@synopsys.com; sv-ac@server.verilog.org
Subject: RE: [sv-ac] FW: #805

Hi John,

Eep, dunno sent from blackberry I think. If I recall the 2 comments I
made:

- Yes we do get the time of disable -- like all the other "results" time

is returned (separate from starttime).
- Yes vacuous success / success are disjoint, this proposal and 1361 
have some more LRM cleanup with regards to vacuous.

Thx.
-Bassam.