Subject: RE: 1364.1 pragmas
From: Michael McNamara (mac@verisity.com)
Date: Wed Aug 28 2002 - 08:22:03 PDT
To be succinct, 1364.1 introducing a set of 'known' pragmas, such as:
(* synthesis_fullcase *)
(* synthesis_parallelcase *)
(* synthesis_nolatch *)
where 1364.1 reserves the prefix 'synthesis_'
and defines today the various suffixes that have useful semantics,
and reserves the right to add additional suffixes as needed,
would be most useful, and would fit within the 1364-2001 definitions
of pragmas.
-mac
Shalom Bresticker writes:
> [1 <text/plain; us-ascii (7bit)>]
> During a conference call of the IEEE 1364 ETF (Errata Task Force) on
> August 12, 2002,
> reservations were expressed about the way 1364.1 is defining pragmas:
>
> (* synthesis, attribute_list *)
>
> As far as 1364 is concerned, there is no difference between any of the
> following, for example:
>
> (* synthesis, full_case *)
> (* full_case, synthesis *)
> (* synthesis *) (* full_case *)
> (* full_case *) (* synthesis *)
>
> The use of the "synthesis" attribute does not define a domain in which
> the full_case attribute exists.
>
> If the following occured,
> (* synthesis, full_case *) (* cucu, full_case = 0 *)
> then both attribute instances would refer to the same full_case
> attribute.
>
> Similarly, no order of attributes is guaranteed by 1364,
> so a tool could understand the preceding as
> (* cucu *) (* synthesis *) (* full_case=0 *) (* full_case *)
>
> Etc.
>
> I hope I have presented accurately the views which were presented during
> the ETF meeting.
>
> FYI.
>
> Sincerely,
> Shalom Bresticker
>
> --
> 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
>
> "The devil is in the details."
>
>
> [2 <text/html; us-ascii (7bit)>]
>
This archive was generated by hypermail 2b28 : Wed Aug 28 2002 - 08:30:22 PDT