Subject: [sv-ac] Assertions BNF errata and PROPOSAL
From: Brad Pierce (Brad.Pierce@synopsys.com)
Date: Thu Feb 05 2004 - 18:56:51 PST
Attached is a proposal to correct several errata in
the sequence_expr BNF of Syntax 17-2, plus two
typos.
Additionally, the proposal
1) consolidates the identical sequence_formal_list and
property_formal_list into list_of_formals
2) for look-and-feel consistency, makes it legal to
use () to indicate zero formals or zero actuals.
-- Brad
This archive was generated by hypermail 2b28 : Thu Feb 05 2004 - 19:07:26 PST