Subject: Re: [sv-bc] Fwd: Re: [sv-cc] Semantics of disable as applied to task/func arguments
From: Shalom.Bresticker@motorola.com
Date: Sat Oct 25 2003 - 12:36:21 PDT
This was also forwarded to sv-ec.
Shalom
On Fri, 24 Oct 2003, Karen Pieper wrote:
> Date: Fri, 24 Oct 2003 09:39:40 -0700
> From: Karen Pieper <Karen.Pieper@synopsys.com>
> To: sv-bc@eda.org
> Subject: [sv-bc] Fwd: Re: [sv-cc] Semantics of disable as applied to
task/func arguments
>
>
> >
> >From: Swapnajit Mittra <mittra@juno.com>
> >
> >
> > Hello Johnny and Karen,
> >
> > The following issue came up in sv-cc that we feel should
> > be looked into by sv-bc. Please let us know if you have
> > any other question. The following email can also be found
> > from sv-cc email archive:
> >
> > http://www.eda.org/sv-cc/hm/1528.html
> >
> > Regards,
> >
> >--
> >Swapnajit Mittra
> >Project VeriPage ::: http://www.angelfire.com/ca/verilog
> >
> >-- "Joao Geada" <Joao.Geada@synopsys.com> wrote:
> >Hi all,
> >
> >Just to document the issue that came up during today's sv-cc meeting:
> >
> >what is the behavior of task/function output/inout/ref arguments when that
> >invocation of the task or function is disabled ?
> >
> >In IEEE 1364-2001, Section 11 (page 162) it states that:
> >
> >"The results of the following activities that may be initiated by a task
> >are not specified if the task or function is disabled:
> > Results of output and inout arguments"
> >
> >I believe a (minor) errata is required to carry this rule forward
> >into SV 3.1, stating that the general principle applies.
> >
> >ie something like:
> >The results of the following activities that may be initiated by a task
> >+or function+
> >are not specified if the task or function is disabled:
> > Results of output, inout +and reference+ arguments
> >
> >(the + signs indicate additions to the text in the 1364-2001)
> >
> >Additionally, it would also be desirable to state what happens to items
> >allocated via "new" in task/function invocations that are disabled.
> >
> >Joao
> >==============================================================================
> >Joao Geada, PhD Principal Engineer Verif Tech Group
> >Synopsys, Inc TEL: (508) 263-8083
> >377 Simarano Drive, Suite 300, FAX: (508) 263-8069
> >Marlboro, MA 01752, USA
> >==============================================================================
> >
> >________________________________________________________________
> >The best thing to hit the internet in years - Juno SpeedBand!
> >Surf the web up to FIVE TIMES FASTER!
> >Only $14.95/ month - visit www.juno.com to sign up today!
>
>
-- Shalom Bresticker Shalom.Bresticker@motorola.com Design & Reuse Methodology Tel: +972 9 9522268 Motorola Semiconductor Israel, Ltd. Fax: +972 9 9522890 POB 2208, Herzlia 46120, ISRAEL Cell: +972 50 441478
This archive was generated by hypermail 2b28 : Sat Oct 25 2003 - 12:39:10 PDT