Assura and floating pins

I have a hierarchical design where on of the subblocks has a pin that
internally is not connected but
would like to have Assura check the connectivity at the top level.
Since the subblock pin is "floating" its removed during the netlisting
phase. The rsf file has the following:

avCompareRules(
verifyTopLayPins( (t keepFloatingPins) )
verifyTopSchPins( (t keepFloatingPins) )
)

which according to the doc's is suppose to force the tool to check the
connectivity, however LVS still reports a match. One band-aid is to
add a metal resistor hanging on the pin which does force the check.
However, I have found that if I only use one of the above statements,
then LVS reports an error on the missing connection to that pin. The
doc's has a short blub about verifyTopLayPIns and a long description of
the verifyTopSchPins which kinda describes what Im seeing. I vaguely
remember that Vampire required only one to check floating pins and that
using both statements was not correct.

Has anyone ran into this?

Thanks

RIck

 

I had a circuit block which during a revision had 3 pins which were
disconnected and floating in the schematic. I made the changes and
deleted the pins from the layout and Assura reported a match. Even at
the next layer up in hierarchy Assura reported a match. I assume this
means that the floating/extra pins don't have to match and connectivity
to them up in the hierarchy isn't checked.

Tim