[sv-ec] Inside/intersect erratum (BNF)

Subject: [sv-ec] Inside/intersect erratum (BNF)
From: Brad Pierce (Brad.Pierce@synopsys.com)
Date: Sat Feb 28 2004 - 08:12:05 PST

• Next message: Shalom.Bresticker@motorola.com: "Re: [sv-ec] Re: SV Failure & final Blocks"
• Previous message: Vassilios.Gerousis@infineon.com: "[sv-ec] LRM Milestones dates and Committee Voting"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Attached is a fix for a BNF inconsistency between inside_expression
and select_condition regarding open_range_list.

-- Brad

• text/html attachment: open_range_list_bnf.htm

• Next message: Shalom.Bresticker@motorola.com: "Re: [sv-ec] Re: SV Failure & final Blocks"
• Previous message: Vassilios.Gerousis@infineon.com: "[sv-ec] LRM Milestones dates and Committee Voting"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

This archive was generated by hypermail 2b28 : Sat Feb 28 2004 - 08:24:30 PST