Subject: [sv-ac] specific proposal
From: John Havlicek (john.havlicek@motorola.com)
Date: Tue Feb 04 2003 - 10:04:58 PST
Dear SV-AC:
Below is one specific proposal to address the semantic problems with
sequence implication. This proposal covers only changes to the BNF.
Best regards,
John Havlicek
==============================
1. Add the productions
formula_expr ::=
formula_instance
| sequence_expr
| sequence_expr => formula_expr
| `('`('variable_declaration{`,'variable_declaration}`)' formula_expr`)'
formula_declaration ::=
`formula' [event_control]named_formula{`,'named_formula}`;'
named_formula ::=
identifier[`('identifier{`,'identifier}`)']`='formula_expr
clocked_formula ::=
[event_control]formula_expr
formula_instance ::=
formula_identifier[`('expression_list`)']
2. In the production for sequence_expr, change
"sequence_expr => sequence_expr" to "boolean_expr => sequence_expr".
3. In the production for prop_expr, change "clocked_sequence" to
"clocked_formula".
This archive was generated by hypermail 2b28 : Tue Feb 04 2003 - 10:05:48 PST