From: Clifford E. Cummings (cliffc@sunburst-design.com)
Date: Mon Jan 24 2000 - 08:38:36 PST
Gents -
We are trying to finish our BTF work and need your assistance.
- Cliff
>Return-Path: <owner-btf@boyd.com>
>X-Authentication-Warning: gw.boyd.com: majordomo set sender to
owner-btf@boyd.com using -f
>X-Sender: cliffc@mail.sunburst-design.com
>Date: Thu, 20 Jan 2000 09:46:45 -0800
>To: wadswort@poci.amis.com (Steve Wadsworth - 208-234-9898 x3316),
> elkind@cadence.com (Ted Elkind)
>From: "Clifford E. Cummings" <cliffc@sunburst-design.com>
>Subject: Bad use of conditional_expression in the ATF BNF
>Cc: btf@boyd.com, howardj@model.com (Howard Johnson - 503-641-1340),
> ram@model.com (Randy Misustin - 503-641-1340),
> Chris@Spear.net (Chris Spear - 508-486-5214)
>Sender: owner-btf@boyd.com
>
>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.