RE: [sv-bc] enumerated types

Subject: RE: [sv-bc] enumerated types
From: Brad Pierce (Brad.Pierce@synopsys.com)
Date: Fri Aug 29 2003 - 12:23:34 PDT

• Next message: Steven Sharp: "[sv-bc] enum values"
• Previous message: Francoise Martinolle: "[sv-bc] enumerated types"
• In reply to: Francoise Martinolle: "[sv-bc] enumerated types"
• Next in thread: Jacobi, Dan: "RE: [sv-bc] enumerated types"
• Reply: Brad Pierce: "RE: [sv-bc] enumerated types"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Two places that constant expressions are defined --

     A.8.3 (p. 294) in SV3.1 LRM

     Third paragraph of Clause 4 in V2K LRM, plus 10.3.5 in V2K LRM

-- Brad

• Next message: Steven Sharp: "[sv-bc] enum values"
• Previous message: Francoise Martinolle: "[sv-bc] enumerated types"
• In reply to: Francoise Martinolle: "[sv-bc] enumerated types"
• Next in thread: Jacobi, Dan: "RE: [sv-bc] enumerated types"
• Reply: Brad Pierce: "RE: [sv-bc] enumerated types"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

This archive was generated by hypermail 2b28 : Fri Aug 29 2003 - 12:25:01 PDT