From: Ted Elkind (elkind@cadence.com)
Date: Mon Jan 24 2000 - 10:03:56 PST
Hi Cliff,
Sorry for the delay, I'm still completing things due last millennium.
Assuming we want to leave things as they stand and not send anything
back to committee (in other words, if ATF had more time I think we
might consider changes to the section on Conditional Expressions,
possibly making them the same as behavioral conditional expressions),
then you're right - conditional expressions in specify path
declarations are not identical to those in behavioral code. Annex A
should define a different kind of conditional expression for specify
path declarations.
Ted
Clifford E. Cummings writes:
> 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
>
>
> //********************************************************************//
> // 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.