Subject: Re: Attributes and constant expressions
From: Shalom Bresticker (Shalom.Bresticker@motorola.com)
Date: Thu Oct 25 2001 - 07:16:27 PDT
It is not clear that it is best to label these pragmas/attributes/directives as "SYNTHESIS"
since many of them may be common to other, non-synthesis tools as well,
e.g, formal verification or code coverage tools.
Shalom
> From Stefen Boyd
>
> > > // ambit synthesis off
> > > ...
> > > // ambit synthesis on
> >
> >Something similar to
> >
> >`ifndef SYNTHESIS
> >...
> >`endif
>
> Since we didn't create attributes in a way that would
> accomplish synthesis on/off behavior, perhaps what we
> should do is require synthesis tools to define a compile
> time macro so that Adam's example would work as a
> replacement of the comment-style on/off flags. That
> way we can depricate all the comment-style commands by
> having all of them covered. Without defining a compile
> time macro name, we're left with metacomments as
> defined in section 6.1 of 1364.1
>
> I would like to see section 6.1 indicate that metacomments
> are depricated in general.
-- ************************************************************************** Shalom Bresticker Shalom.Bresticker@motorola.com Motorola Semiconductor Israel, Ltd. Tel #: +972 9 9522268 P.O.B. 2208, Herzlia 46120, ISRAEL Fax #: +972 9 9522890 **************************************************************************
This archive was generated by hypermail 2b28 : Thu Oct 25 2001 - 07:23:51 PDT