Subject: 1364.1 pragmas
From: Shalom Bresticker (Shalom.Bresticker@motorola.com)
Date: Wed Aug 28 2002 - 01:02:40 PDT
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."
This archive was generated by hypermail 2b28 : Wed Aug 28 2002 - 01:22:09 PDT