Here's what I use as a starting point for all RTL-gate runs:Originally posted in cdnusers.org by croy
set flatten model -gated_clock
set flatten model -seq_constant
set flatten model -seq_constant_x_to 0
as synthesis will often do all these transformations. It's also recommended to run:
remodel -seq_constant -seq_constant_feedback -repeat
map key points
after 'set system mode lec', if anything is not-mapped at that point.
I also find it useful to set these:
set flatten model -nodff_to_dlat_feedback
set flatten model -nodff_to_dlat_zero
as I have yet to see an implementation tool actually do these changes. Changing the default here should prevent latches from showing up in the compare report.