I saw that Conformal has "most than 1/3 of key-points mis-matched by names".
So I want to help it to map more key-points.
I used default value for set_mapping_method for my 1st Gate2Gate run.
Could I use different set_mapping_method commands incrementally to map most key-points?
Which is the best flow to do this in your opinion?
Thanks for your reply.
It's exactly I want.
My design is NonEq and the runtime is very big but I wanted to discover if I can help LEC to map more faster the key points just to reduce the runtime.