From: Ted Elkind (elkind@cadence.com)
Date: Thu Feb 10 2000 - 06:50:18 PST
Hi Cliff,
Clifford E. Cummings writes:
> I still need a definition for a conditional_expression. There is currently
> no definition for conditional_expression in the BNF and I don't have a good
> guess for what this is supposed to be? (expression? / constant_expression?
> / other?)
>
> Could we also give it a different name so users don't confuse this with the
> ?: operator?
If you mean the conditional expression in state dependent path delays
(SDPDs), for ex:
if (A && B && C) IN => OUT = 2:3:4;
Then you can go ahead and break out a new lexical term for it. I wish
I had the time to define this for you, but I'm pressed right now.
There is no reason why this expression can't be arbitrarily complex,
but ATF made no explicit decision to change this expression from
whatever restrictions were placed on it in the first 1364 standard.
Unlike SDPDs, the conditional expressions that appear after "&&&" in
the timing checks are very tightly constrained, and this is well
explained in the text. The new conditional expressions in timing
checks (SCOND and CCOND) should be defined the same way as SDPD
conditional expressions.
Ted
This archive was generated by hypermail 2.1.4
: Mon Jul 08 2002 - 12:54:11 PDT
and
sponsored by Boyd Technology, Inc.