Hi Erik, My comments are below: 1. page 2 paragraph 3, I don't like the sentence "Note that the conversion of if/case conditions as trigger conditions for the assertions should take place before this virtual rewrite as a generate block, in order to get unambiguous and legal results." Maybe something like: "Inference of an enabling condition from case/if construct should not consider the procedural loops as generate loops." 2. page 2 first example: I think that "integer my_ints[2] = '{123, 456};" Should be "integer my_ints[0:1] = '{123, 456};" 3. at the second example, I think that "(bar |-> (table[i1][j1] != `BAD_VAL))));" Should be "foo -> (bar |-> (table[i1][j1] != `BAD_VAL))));" Regards Doron --------------------------------------------------------------------- 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 Sun Oct 21 07:48:45 2007
This archive was generated by hypermail 2.1.8 : Sun Oct 21 2007 - 07:48:56 PDT