VOTE -- [sv-ac] SVA 3.1 parsing issues

Subject: VOTE -- [sv-ac] SVA 3.1 parsing issues
From: Joseph Lu (Juin-Yeu.Lu@sun.com)
Date: Fri Sep 12 2003 - 12:59:53 PDT

• Next message: Adam Krolnik: "VOTE -- [sv-ac] SVA 3.1 parsing issues"
• Previous message: Surrendra Dudani: "Re: [sv-ac] $display in assertions"
• Next in thread: Adam Krolnik: "VOTE -- [sv-ac] SVA 3.1 parsing issues"
• Reply: Adam Krolnik: "VOTE -- [sv-ac] SVA 3.1 parsing issues"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Hi,

Here is the vote on errata.

(Yes) 081003.AC1 Surrendra Errata throughout associativity, change to right
(Yes) 081003.AC2 Surrendra Errata unary ## should have the higher precedence than binary ##
(Yes) 081003.AC3 Surrendra Errata allow clocked sequences(including multi-clock) to be parenthesized
(Yes) 081003.AC4 Surrendra Errata language force parenthesis around the expression with local variable assignments
(Yes for all) 090803.AC1 John Errata 8/31 email changes-recommended.pdf

Regards,

--Joseph

--------------------------------------------------
Joseph Lu
Processor Product and Network Group
Sun Microsystems
M/S USUN 03-202, 430 N. Mary Ave.,
Sunnyvale, CA 94086
408-616-5887
joseph@eng.sun.com
--------------------------------------------------

• Next message: Adam Krolnik: "VOTE -- [sv-ac] SVA 3.1 parsing issues"
• Previous message: Surrendra Dudani: "Re: [sv-ac] $display in assertions"
• Next in thread: Adam Krolnik: "VOTE -- [sv-ac] SVA 3.1 parsing issues"
• Reply: Adam Krolnik: "VOTE -- [sv-ac] SVA 3.1 parsing issues"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

This archive was generated by hypermail 2b28 : Fri Sep 12 2003 - 13:00:25 PDT