> In the meeting this morning, you skipped over some of the > more trivial issues that you noticed with the proposal for > mantis 1900. Part 2: Page 1, 17.1, para. 1, beginning of line 4: "covergroups" should be "covergroup". Page 3, para. 3: "All checker formal arguments are input" - should be "inputs". Next line: "besides of those" - delete "of". Page 3, last para.: "Clock and disable iff context" - should be "contexts". Page 5, para. 2: "whether it is instantiated within or outside procedural code" - change "within" to "inside". Page 5, middle, 3rd dashed item: "Arguments which cannot" - change "which" to "that". Page 6, example: "end" before "for" statement should be bold. Page 6, following example: "check_inside, and check_loop" - "and" should not be in code font. Page 7, para. before 17.4, lines 2 and 3: "d[3]" and "a" should be in code font. Page 9, para. before Figure 17-1: "Figure 17.1" should be "Figure 17-1". Thanks, Shalom --------------------------------------------------------------------- Intel Israel (74) Limited This e-mail and any attachments may contain confidential material for the sole use of the intended recipient(s). Any review or distribution by others is strictly prohibited. If you are not the intended recipient, please contact the sender and delete all copies. -- This message has been scanned for viruses and dangerous content by MailScanner, and is believed to be clean.Received on Thu Aug 7 22:02:02 2008
This archive was generated by hypermail 2.1.8 : Thu Aug 07 2008 - 22:02:03 PDT