More comments on Mantis 1900: - The proposal has examples of the event type used in checker port lists, such as checker my_check (logic test_sig, event clock); Since the actual argument connected to this will typically be declared with a logic data type, where does the LRM say you can connect it to a formal argument of type event? - There are places where the keyword 'begin' is not bolded, e.g., in the example before 16.18.4. - There are places where the format type in a number literal is incorrectly bolded, e.g., counter <= counter + 1'b1; - The apostrophes should be straight up-down plain apostrophes, not forwardly slanted ones. - 16.18.6.4 has endsequence : s; There should be no semicolon there. - In 16.18.8, $inferred_clock, $inferred_disable, $error, and $display should not be bolded. Regards, Shalom Shalom Bresticker Intel Jerusalem LAD DA +972 2 589-6582 +972 54 721-1033 --------------------------------------------------------------------- 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 Tue Jan 29 08:14:04 2008
This archive was generated by hypermail 2.1.8 : Tue Jan 29 2008 - 08:14:11 PST