Currently I use the hierarchical compare for rtl to synthesized netlist LEC.The sub-modules are all equivalent and are set to blackbox after comparison.However, there are blackbox nonequivalent occur when comparing the top module.
module top(inA, ....);input [31:0] inA;...wire [31:0] inB;assign inB = inA;sub1 usub1(.in1(inB), ...);...endmodule
module top(inA, ....);
input [31:0] inA;
...sub1 usub1(.in1(inA), ...);
The sub-module sub1 is compared firstly and set to blackbox. But sub1 will be reported as nonequivalent BBOX after comparing top module top.
I found the problem is due to the connection wire name of blackbox are changed after synthesis optimization.
So is there any command that can solve this kind of blackbox nonequivalent problem??
Thanks a lot!!
This should pass. It doesn't matter that the net names changed as long as the driver is the same. What does the diagnosis manager report? Is anything reported by 'report message -map -verbose'? Are you running Conformal L (ASIC) or XL (Ultra)?
You may want to file a Service Request with support so they can do a Spacecruiser session with you.
Also, allow me to do a quick plug for our online on-demand training about the Conformal diagnosis features at trainingondemand.cadence.com.