Hi,
When running LEC on golden-(elaborate) and
revise-(synthesize -to_generic) getting one NON-EQ compare point.
The following RC attributes didn't help:
set_attribute prune_unused_logic false [find [find / -inst TOP/SUB
] -ignorecase -pin *]
set_attribute prune_unused_logic false [find [find / -inst TOP ]
-ignorecase -pin *]
Any ideas, what modification of RC script could be done to resolve
the problem?
Thanks... Boris