Hi all, I believe I have incorporated all comments. Dmitry please see my response to your comments below. I think I responded separately to the others already. The word source and the PDF are on Mantis. Also, I have deleted old versions. Lisa [DK] Page 4. "If the bit variables in the previous examples are replaced with a logic variables" --> "If the bit variables in the previous examples are replaced with logic variables", also logic should be in bold courier 9. [Lisa Piper >>>] This required some additional change. The bit array was changed to a bit based on earlier comments so it should have been: "If the bit variable in the previous example is replaced with a logic variable, the assertions embedded in the else clause require different semantics." I also had to add back the bit variable in the previous example. And I also put bit in bold courier 9. Also, I noticed that many of my keywords in the text were of size 10, so I have changed them to a 9. Later in this statement: "else clause", "else" should be in bold courier 9. [Lisa Piper >>>] done "r1, r2, r3, and r4 are property_expr". r1, r2, r3, and r4 should be in courier 9, property_expr should be in italic. Same note regarding page 5. [Lisa Piper >>>] done. I also put disable iff in bold courier 9 in that sentence. "that s1 and s2 are sequence_expr, and the code is as follows". s1 and s2 should be in bold courier 9, sequence_expr should be in italic. Same note regarding page 5. [Lisa Piper >>>] I don't think they should be in bold because they are not keywords (which is consistent with your previous comment on property r1-r4) but I did change it to courier 9. "The equivalent code must account for 4-state semantics of "a"." a should be in courier 9 without quotes. [Lisa Piper >>>] done Page 5. " length of "a"" a should be in courier 9 without quotes. [Lisa Piper >>>] done -- This message has been scanned for viruses and dangerous content by MailScanner, and is believed to be clean.
This archive was generated by hypermail 2.1.8 : Tue Nov 06 2007 - 10:10:58 PST