[sv-ac] SVA3.1 enhancement proposals

Subject: [sv-ac] SVA3.1 enhancement proposals
From: Joseph Lu (Juin-Yeu.Lu@sun.com)
Date: Fri Sep 12 2003 - 17:09:27 PDT

• Next message: Surrendra Dudani: "Re: [sv-ac] $display in assertions"
• Previous message: Adam Krolnik: "[sv-ac] Acrobat version of proposals"
• Next in thread: Adam Krolnik: "Re: [sv-ac] Assume proposals."
• Reply: Adam Krolnik: "Re: [sv-ac] Assume proposals."
• Reply: Adam Krolnik: "[sv-ac] Re: proposal for parameters on properties."
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Hi,

Here is the enhancement proposals for #2 and #7.

Thanks,

--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
--------------------------------------------------

• APPLICATION/pdf attachment: SVA3.1.enhancement.#2_#7.pdf

• Next message: Surrendra Dudani: "Re: [sv-ac] $display in assertions"
• Previous message: Adam Krolnik: "[sv-ac] Acrobat version of proposals"
• Next in thread: Adam Krolnik: "Re: [sv-ac] Assume proposals."
• Reply: Adam Krolnik: "Re: [sv-ac] Assume proposals."
• Reply: Adam Krolnik: "[sv-ac] Re: proposal for parameters on properties."
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

This archive was generated by hypermail 2b28 : Fri Sep 12 2003 - 17:11:08 PDT