Hi John, I have one minor comment: you are using r to dente clocked sequences and p and q to denote clocked properties while the notation requires using S in the former case, and Q in the latter. Thanks, Dmitry -----Original Message----- From: owner-sv-ac@server.eda.org [mailto:owner-sv-ac@server.eda.org] On Behalf Of John Havlicek Sent: Monday, August 20, 2007 2:33 PM To: sv-ac@server.eda-stds.org Subject: [sv-ac] 1668-formal-semantics.pdf Hi Folks: Since I've regained the ability to attach things, 1668-formal-semantics.pdf is attached. J.H. -- This message has been scanned for viruses and dangerous content by MailScanner, and is believed to be clean. -- This message has been scanned for viruses and dangerous content by MailScanner, and is believed to be clean.Received on Tue Aug 21 05:42:43 2007
This archive was generated by hypermail 2.1.8 : Tue Aug 21 2007 - 05:43:05 PDT