RE: [sv-ac] Freescale enhancement requests for SV-AC

Hi Folks:

Sorry for all my mistakes. The AMS assertions features are on slides
36-37 (not 38-39) of the presentation.

J.H.

-----Original Message-----
From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf Of
Havlicek John-R8AAAU
Sent: Tuesday, April 13, 2010 7:58 AM
To: sv-ac@server.eda.org
Subject: [sv-ac] Freescale enhancement requests for SV-AC

Hi Folks:

Below are Freescale enhancement requests for SV-AC.

References are to the slide set that we presented at the requirements
meeting in February 2010.

. First class local variables (slides 14-15)

. AMS assertion features (slides 38-39)

We haven't yet entered these in Mantis or checked for correlation with
other Mantis items.

There are also errata and clarifications in Mantis that we think are
important, but we haven't gone back through those to make a list.

Finally, we think it is important to consider the differences with PSL's
treatment of local variables and determine if any alignment is advisable
(slide 16).

J.H.

--
This message has been scanned for viruses and dangerous content by
MailScanner, and is believed to be clean.
-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.