Subject: comments on Appendices
From: Anthony McIsaac (anthony.mcisaac@st.com)
Date: Fri Oct 25 2002 - 08:08:28 PDT
page 80 Flavor Macros
I think we also need
HDL_STATIC_NUMBER_EXPR and HDL_STATIC_BOOLEAN_EXPR
(see comments on page 85)
page 82 line 48
Box 64 on page 64 has ValueRange ::= Value | finite_range
and I think the Value is needed here (if not, it doesn't
appear in any other production and should be removed on page 85).
page 85 line 12
I think we have to have
Value ::= Static_boolean | Number
and then
Static_boolean ::= HDL_STATIC_BOOLEAN_EXPR
Number ::= HDL_STATIC_NUMBER_EXPR
page 88 line 39.
The semantics of a Sugar formula is defined with respect to a model.
I think we should have a paragraph specifying how a model defined as a
transition systme like this is derived from the HDL (or at least, from
the model in terms of flip-flops and latches that is obtained from
the combination of synthesizable HDL for the design and the Sugar
modelling code).
I will try to draft such a paragraph before the next meeting.
Anthony
This archive was generated by hypermail 2b28 : Fri Oct 25 2002 - 08:10:05 PDT