From: Shalom.Bresticker@freescale.com
Date: Sun May 02 2004 - 08:41:23 PDT
Comments:
> From the email vote on the generate proposal:
> The generate proposal passed. Shalom had comments. Stu
> opposed on the basis of more discussion required.
> Shalom's comments for future discussion:
Please note that some of those comments were from others, e.g.,
Gord, that I recorded so that they should not be forgotten.
> - Need to finish and add 12.8 Elaboration.
> Committee concensus:
> Jason had written a solution up, but Shalom felt it
> was too complicated, so we removed it from the current
> draft.
Personally, I tend to feel that it is better to leave 12.8 in
in its current version, than to leave it out entirely, if that
is the current choice.
> Page 12:
> Should the example have a number? The committee
> agrees it should. Also add comments, as indicated in
> Cliff's attached document:
>
> http://boydtechinc.com/etf/archive/att-2437/02_Example_12_4_2_formatted.pdf
In Cliff's version of this example, I found some of the comments unclear
at first reading. I think they should be reworded. I am referring to
lines like
"and g1 (a, b, c); // if p,q==1,0 - and test.u1.g1 ..."
It was not clear to me at first that "and test.u1.g1" means
that if the conditions are met, then an AND gate called test.u1.g1
is generated.
Shalom
-- Shalom Bresticker Shalom.Bresticker @freescale.com Design & Reuse Methodology Tel: +972 9 9522268 Freescale Semiconductor Israel, Ltd. Fax: +972 9 9522890 POB 2208, Herzlia 46120, ISRAEL Cell: +972 50 5441478
This archive was generated by hypermail 2.1.4
: Sun May 02 2004 - 08:23:31 PDT
and
sponsored by Boyd Technology, Inc.