[sv-ac] RE: Updated version of 2328

From: Eduard Cerny <Eduard.Cerny@synopsys.com>
Date: Fri Feb 04 2011 - 04:25:59 PST

Hi Scott,

Strings - it might be useful to allow string constants, the reason being that strings can be stored in a register and you may want to do comparisons.

Best regards,
ed

> -----Original Message-----
> From: Little Scott-B11206 [mailto:B11206@freescale.com]
> Sent: Thursday, February 03, 2011 8:01 PM
> To: Eduard Cerny; sv-ac@eda.org
> Subject: RE: Updated version of 2328
>
> Hi Ed:
>
> Good catch. That missing text is unchanged. I have added it to my
> current working version.
>
> I don't have a problem allowing string formal arguments for sequences
> and properties. I presume you don't want to allow strings in
> expressions though. What do others think? Can I handle that change in
> this mantis or does it need a new one?
>
> Thanks,
> Scott
>
> > -----Original Message-----
> > From: Eduard Cerny [mailto:Eduard.Cerny@synopsys.com]
> > Sent: Thursday, February 03, 2011 2:09 PM
> > To: Little Scott-B11206; sv-ac@eda.org
> > Subject: RE: Updated version of 2328
> >
> > Hi Scott,
> >
> > - It seems that there is a problem with the replacement within 16.6,
> > the text that you have before 16.6.1 is much less than what is in the
> > LRM.
> > - Why for checkers is it specifically stated that string can be a
> > formal argument, I think that it should be allowed for property and
> > sequence formal argument, usable only in match item task calls as
> > actual arguments.
> >
> > best...
> > ed
> >
> >
> > > -----Original Message-----
> > > From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf Of
> > > Little Scott-B11206
> > > Sent: Wednesday, February 02, 2011 4:24 PM
> > > To: sv-ac@eda.org
> > > Subject: [sv-ac] Updated version of 2328
> > >
> > > Hi all:
> > >
> > > I have uploaded a new version of 2328 that addresses feedback given
> > by
> > > Shalom and Ed.
> > >
> > > http://www.eda-twiki.org/svdb/view.php?id=2328
> > >
> > > Thanks,
> > > Scott
> > >
> > >
> > > --
> > > 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.
Received on Fri Feb 4 04:26:31 2011

This archive was generated by hypermail 2.1.8 : Fri Feb 04 2011 - 04:26:52 PST