Another question:
I run a synthesis with 2 compile.
The first compile is run withou any option, and the "check_design" command reports some warnings.
After that, the compiled design is "ungroup -flatten -all" and then compile again with options "-incremental_mapping -map_effort high". The second compile is then follow by a "check_design". There is no any warnings found in the second "check_design" report. So is that means the second compile has fix the problems (warnings) in found in the first compile?