i'm running an rtl2gate verification and i'm running into abort point issues. the gate level netlist has scan and clock gating inserted. i'm running version 05.10-s200Originally posted in cdnusers.org by crackoner
i have the "set flatten model -gated_clock" switch set.
i've tried running a "compare effort high" run after the medium run.
i've tried "set compare option -part flow" (undocumented) with "compare effort low"
i've run out of ideas, and i can't find any documentation anywhere on how to deal with abort points. the cone of logic doesn't seem to complicated: there are 3 DFFs and 1 PI feeding this cone.
i was able to verify the same design using synopsys formality.