Doron, Although I have very little expertise in this area, I read the proposal carefully to learn more about what you're doing, and noticed a few minor errors - I don't claim this list is complete, but I hope it's helpful even though most of the points are trivial: ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ "Objectives" commentary, 2nd paragraph: "followed_by" is mis-spelt "fillowed_by" 2nd paragraph on 2nd page: "even innocently looking assertions" should be "even innocent-looking assertions" various places: tables split across page breaks (editor needs to be aware that it's all one table) table at head of page 7: "Implies" is wrongly capitalized 16.12.1, penultimate text paragraph: "The not operator switch the strength..." should be "The not operator switches the strength..." new text for 16.12.9: "...is required to proceed a match of..." perhaps should be "...is required to proceed after _any_ match of..." ? text just below syntax box 16-15: "This clause is used to precondition monitoring..." should be something like "This operator is used to impose a precondition on monitoring..." (precondition is confusing when used as a verb). Also, the third and fourth bullet points (with long dashes) in this paragraph seem to me to say the same thing in different ways; but I could easily be wrong about that. First sentence of page 11: spurious "." at start of sentence 16.12.10: just before the examples at foot of page 11, the word "s_next" is only partially bold; and in property examples p4, p6 and p8, it's not bold at all. 16.12.11: "There is also the implicit always that is associated with the verification statements..." might be better written as "There is an implicit always associated with verification statements , as described in 16.13.4" 16.12.13, first sentence: spurious extra word "form" 16.12.13, final text paragraph on page 14: "s_eventuality" incorrectly spelt and only partly bold page 15: several examples have non-bold keywords 16.12.15: first paragraph: "that the property clock tick enough time" - should be "enough times" final sentence of same paragraph: comma should be a colon or even a full-stop: "... and weak sequence are weak: they don't impose..." ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ Please forgive me for devaluing your excellent work with these trivial corrections! thanks -- Jonathan Bromley, Consultant DOULOS - Developing Design Know-how VHDL * Verilog * SystemC * e * Perl * Tcl/Tk * Project Services Doulos Ltd. Church Hatch, 22 Market Place, Ringwood, Hampshire, BH24 1AW, UK Tel: +44 (0)1425 471223 Email: jonathan.bromley@doulos.com Fax: +44 (0)1425 471573 Web: http://www.doulos.com The contents of this message may contain personal views which are not the views of Doulos Ltd., unless specifically stated. -- This message has been scanned for viruses and dangerous content by MailScanner, and is believed to be clean.Received on Wed Nov 7 06:08:43 2007
This archive was generated by hypermail 2.1.8 : Wed Nov 07 2007 - 06:08:50 PST