[sv-ac] RE: ARM's SV-BC Enhancements for 2012

http://www.eda-twiki.org/sv-ieee1800/Meetings/2010/February/Presentations/Daniel%20Schostak%20Presentation.pdf

Shalom
 

> -----Original Message-----
> From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On
> Behalf Of Korchemny, Dmitry
> Sent: Monday, April 12, 2010 7:01 PM
> To: Maidment, Matthew R; sv-ac@eda.org
> Subject: [sv-ac] RE: ARM's SV-BC Enhancements for 2012
>
> Hi Matt,
>
> I can see only item 6 that could be relevant to SV-AC. Could
> you send a reference to the slides?
>
> Thanks,
> Dmitry
>
> -----Original Message-----
> From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On
> Behalf Of Maidment, Matthew R
> Sent: Monday, April 12, 2010 6:28 PM
> To: sv-ac@eda.org
> Subject: [sv-ac] FW: ARM's SV-BC Enhancements for 2012
>
> FYI. Some of these likely fall under AC's charter.
>
> --
> Matt Maidment
> mmaidmen@ichips.intel.com
>
>
> >-----Original Message-----
> >From: owner-sv-bc@eda.org [mailto:owner-sv-bc@eda.org] On
> Behalf Of Daniel
> >Schostak
> >Sent: Monday, April 12, 2010 4:24 AM
> >To: sv-bc@eda.org
> >Subject: [sv-bc] ARM's SV-BC Enhancements for 2012
> >
> >Referencing my slides from the Feb 26, 2010 requirements gathering:
> >
> >(1) Ability to derive class from multiple parents (point 1
> on slide 6,
> >preference for java style multiple "interface" inheritance)
> >(2) Pointer copying for arrays and functions (points 1 and 2
> on slide 4)
> >(3) Expressive enhancements (slide 5 including allowing
> chaining function
> >invocations and use of new outside of declaration contexts)
> >(4) Ambiguity resolution (see slide 10 for examples of parts of the
> >Standard that have been interpreted differently by different
> simulators)
> >(5) Extend support for generic programming (in particular
> point 3 on slide
> >4 about passing expressions to const ref arguments and point
> 3 on slide 6
> >about only parsing what is used, but would also include parameterized
> >functions and variable number of function arguments as
> mentioned by others)
> >(6) Explicit support for cut points / stop ats in model
> checking (point 1
> >on slide 9)
> >(7) Simplify cross hierarchical references (various points
> on slide 7)
> >
> >From, Daniel Schostak.
> >
> >-- IMPORTANT NOTICE: The contents of this email and any
> attachments are
> >confidential and may also be privileged. If you are not the intended
> >recipient, please notify the sender immediately and do not
> disclose the
> >contents to any other person, use it for any purpose, or
> store or copy the
> >information in any medium. Thank you.
> >
> >--
> >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.
>
>
> ---------------------------------------------------------------------
> 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.
>
>
>
---------------------------------------------------------------------
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.