Bad use of conditional_expression in the ATF BNF

From: Clifford E. Cummings (cliffc@sunburst-design.com)
Date: Thu Jan 20 2000 - 09:46:45 PST


Ted & Steve -

A question came up about conditional expressions in state dependent path
declarations. We think this should be a new type of expression, not a
conditional expression (reference bottom of page 216 in Draft 4, and page
214). Should a new expression type be defined as a boolean_expression with
the operators shown on page 214?.

- Cliff

A.8.3
conditional_expression ::= expression1 ? expression2 : expression3
...
expression1 ::= constant_expression
expression2 ::= constant_expression
expression3 ::= constant_expression

A.7.4
state_dependent_path_declaration ::=
          if ( conditional_expression ) simple_path_declaration
        | if ( conditional_expression ) edge_sensitive_path_declaration
        | ifnone simple_path_declaration

<p>//********************************************************************//
// Cliff Cummings E-mail: cliffc@sunburst-design.com //
// Sunburst Design, Inc. Phone: 503-579-6362 / FAX: 503-579-7631 //
// 15870 SW Breccia Dr., Beaverton, OR 97007 //
// //
// Verilog & Synthesis Training //
// Verilog, VHDL, Synopsys, LMG, FPGA, Consulting and Contracting //
//********************************************************************//



This archive was generated by hypermail 2.1.4 : Mon Jul 08 2002 - 12:54:11 PDT and
sponsored by Boyd Technology, Inc.