Hi John, I don't understand you The input to the function is p (either clock or unclocked property) and c (a clock) the output is P (unclocked property) I changed the comment to " The transformation T^p(p, c) recursively defined below produces a property P from a property p and a clock c:" Doron >>-----Original Message----- >>From: John Havlicek [mailto:john.havlicek@freescale.com] >>Sent: Monday, February 25, 2008 3:26 PM >>To: Bustan, Doron >>Cc: sv-ac@eda.org >>Subject: changes to 1932 >> >>Hi Doron: >> >>In the "JohnsComments.doc" you say that you don't think the P and Q >>are interchanged in F.3.1.2. >> >>In F.3.1.1, you have >> >> The transformation T^s(S, c) recursively defined below produces a >> sequence R from a sequence S and a clock c: >> >>Here the comment makes sense to me, and I would write >> >> R = T^s(S, c) >> >>In F.3.1.2, you now have >> >> The transformation T^p(p, c) recursively defined below produces a >> property P from a property Q and a clock c: >> >>This still doesn't make sense to me. Lowercase p is the symbol >>standing for the input property, so I would think it should now say >> >> The transformation T^p(p,c) produces a property <output property >>symbol> >> from a property p and a clock c: >> >>Then I would write >> >> <output property symbol> = T^p(p,c) >> >>You can make the <output property symbol> Q, for example. >> >>I think that you used to have >> >> The transformation T^p(P, c) recursively defined below produces a >> property P from a property Q and a clock c: >> >>(which is better in avoiding the collision between the argument >>lowercase p and the superscript in T^p), but here P and Q look >>reversed to me. >> >>J.H. --------------------------------------------------------------------- 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 Mon Feb 25 05:46:32 2008
This archive was generated by hypermail 2.1.8 : Mon Feb 25 2008 - 05:46:59 PST