RE: [sv-ac] Minutes of sv-ac meeting on 01/24/2006

 
Thanks Ed,

928: I vote YES.

805 Disable_iff I have a couple of notes for Manisha:
i) suggest search for ...AssertSuccessCovered ... and finding all places
this needs update e.g. 29.4.2, also Annex I with *2* things:
  - vpiAssertVacuousSuccessCovered (old one left one ...)
  - vpiAssertPreemptedSuccessCovered (new one...).
ii) As far as the system task ok that might be a good idea, ambitious
however. For sure what we DO NEED to add is the corresponding callback
reason in VPI (again 2 of 'em, and search for "cbAssertionSuccess" for
places to add e.g. section 28.3.2):
  - cbAssertionVacuousSuccess (old one been on TODO for a while ...)
  - cbAssertionPreemptedSuccess  (new one ...).

Thx.
-Bassam.
 
--
Dr. Bassam Tabbara
Architect, R&D
Novas Software, Inc.
(408) 467-7893

-----Original Message-----
From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf Of
Eduard Cerny
Sent: Tuesday, January 24, 2006 11:06 AM
To: sv-ac@eda.org
Subject: [sv-ac] Minutes of sv-ac meeting on 01/24/2006

Please find attached the meeting minutes. Let me know if any corrections
are needed.

Best regards,
ed