Hi all, Here is my comments. 1. In the Abstract section the fonts TM and ® for Std 1076, 1364, 1666 and 1800 were not right. I high-light them in red as show below. Abstract: The IEEE Property Specification Language (PSL) is defined in this standard. PSL is a formal notation for specification of electronic system behavior, compatible with multiple electronic system design languages, including IEEE Std 1076ô (VHDLÆ), IEEE Std 1364ô (VerilogÆ), IEEE 1666ô (SystemCÆ), and IEEE 1800ô (SystemVerilogÆ), Joseph Lu Altera Corp. 101 Innovation Dr. San Jose, CA95134 Tel:408-5448694 Email:jlu@altera.com ________________________________ Confidentiality Notice. This message may contain information that is confidential or otherwise protected from disclosure. If you are not the intended recipient, you are hereby notified that any use, disclosure, dissemination, distribution, or copying of this message, or any attachments, is strictly prohibited. If you have received this message in error, please advise the sender by reply e-mail, and delete the message and any attachments. Thank you. -- This message has been scanned for viruses and dangerous content by MailScanner, and is believed to be clean.Received on Sun Jul 26 18:05:48 2009
This archive was generated by hypermail 2.1.8 : Sun Jul 26 2009 - 18:05:56 PDT