[sv-ac] Assertions BNF draft - 3/26/03

Subject: [sv-ac] Assertions BNF draft - 3/26/03
From: Stephen Meier (Stephen.Meier@synopsys.com)
Date: Wed Mar 26 2003 - 15:49:57 PST

• Next message: Cindy Eisner: "Re: [sv-ac] Operator precedence chart"
• Previous message: Stephen Meier: "[sv-ac] Updated assertions LRM Draft - 3/26/03"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Hi:

FYI - this is BNF update with ASWG outcome. This is companion to LRM
chapter I sent out earlier.

Regards,
Steve

Steve Meier (stephen.meier@synopsys.com) W: 650-584-4476, Cell: 408-393-8246

• application/pdf attachment: sv_assertions_BNF_draft1_32603.pdf

• Next message: Cindy Eisner: "Re: [sv-ac] Operator precedence chart"
• Previous message: Stephen Meier: "[sv-ac] Updated assertions LRM Draft - 3/26/03"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

This archive was generated by hypermail 2b28 : Wed Mar 26 2003 - 15:51:42 PST