Re: Question about above() and cross()

Arpad -
I didn't like above(); I had hoped to get cross() extended somehow
to trigger in dc analysis, but there was a backwards-compatibility
concern.

Of course, trivially,
  @(above(expr) or above(-expr))
will trigger for a crossing in either direction.


-Geoffrey