Hi all, Quickly browsing the LRM, I stumbled upon a couple of things that look suspicious. 1) Looking at page 116, it seems that the Parametrized_Property nonterminal lacks the (FL_Property) part (cf. the Parametrized_Sequence nonterminal on the same page, and box 6-55). 2) In Box "Syntax 6-77" on page 89, Param_Type ::= Sequence is obviously wrong. It should at least incorporate "property", "sequence", "hdltype" "const" and the ones in Boolean_Type. What is the purpose of the Boolean_Type nonterminal? 3) Page 90: The SystemVerilog flavor example uses a "{" instead of the correct "(" in the definition of slope_is_1 4) Page 75: The first example of informal semantics of "for". The example uses "{" and "}" around an FL_Property F, while box Syntax 6-55 says it should be "(" ")". 5) Page 76: The rest of the examples completely lacks delimitors (no "{" "}" or "(" ")"). Regards, Johan Alfredsson Mobile: +46 706 39 12 58 Software Architect Direct: +46 31 745 19 07 Jasper Design Automation Office: +46 31 745 19 00 Arvid Hedvalls Backe 4 johan.alfredsson@jasper-da.com 411 33 Göteborg, Sweden www.jasper-da.com On Tue, 12 Apr 2005, Harry D.Foster wrote: > http://www.eda.org/ieee-1850/docs/IEEE-1850-PSL-DRAFT-Apr-11.pdf > > Best regards, > > -Harry > --- > Harry D. Foster > Chief Methodologist > Jasper Design Automation > http://www.jasper-da.com > Tel: +1 650.966.0239 Cell: +1 650.804.5000 >Received on Tue Apr 12 08:27:54 2005
This archive was generated by hypermail 2.1.8 : Tue Apr 12 2005 - 08:28:04 PDT