[sv-ac] modified proposals

Subject: [sv-ac] modified proposals
From: Surrendra Dudani (Surrendra.Dudani@synopsys.com)
Date: Mon Nov 17 2003 - 07:40:43 PST

• Next message: Arif Samad: "[sv-ac] Straw Poll Results"
• Previous message: Arif Samad: "[sv-ac] Straw poll votes"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

I had sent out a document named sv_ac_proposals_3.1a.1 that contained the
original proposals. I have modified that document to include the following
changes.
1) the alternative proposal for NBA assignment(modeling features)
2) additional semantics for the assume construct
3) example illustrating the equivalence between combinational and
sequential constraints

The changes are denoted by the change bars in the attached document.
Surrendra

**********************************************
Surrendra A. Dudani
Synopsys, Inc.
377 Simarano Drive, Suite 300
Marlboro, MA 01752

Tel: 508-263-8072
Fax: 508-263-8123
email: Surrendra.Dudani@synopsys.com
**********************************************

• application/pdf attachment: sv_ac_proposals_3.1a.2.pdf

• Next message: Arif Samad: "[sv-ac] Straw Poll Results"
• Previous message: Arif Samad: "[sv-ac] Straw poll votes"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

This archive was generated by hypermail 2b28 : Mon Nov 17 2003 - 07:42:00 PST