MAP optimizes out GND and VCC signals at the ports, causing formal verification failures. Is there a way to work around this problem?
MAP, as part of its optimization algorithm, will optimize out GND and VCC, and leave it unconnected. It will do this only if it does not affect functionality.
To work around this issue, add the following lines to the conformal command line:
set undriven signal 0 -revised
add tied signals <name*> [0|1] -net -revised
For more information on how to use these options, contact Cadence Design Systems.