Overcoming retiming limitations due to initial conditions conflicts

A tangible, non-transitory, computer-readable medium, comprising instructions that, when executed by a processor, are configured to cause the processor to:

• perform retiming using a first circuit design to determine one or more variations to the first circuit design;
• identify one or more source registers that are involved in one or more unsuccessful retiming moves due to initial conditions conflicts, wherein the initial conditions conflicts occur when a retimer unsuccessfully determines power-up states for intermediate registers in the one or more variations to the first circuit design to exhibit functionally equivalent behavior as the first circuit design;
• cause a graphical user interface on an electronic display to display one or more selectively enablable recommendations indicating at least a portion of the one or more source registers for which one or more corrective actions can be performed;
• receive user input indicative of a selection of at least one of the one or more recommendations;
• and
• generate a second circuit design in which a portion of the one or more corrective actions are performed to the portion of the one or more source registers corresponding to the at least one of the one or more recommendations indicated by the user input.

A circuit design component executed in a processor, comprising:

• a retimer that:
• receives a first circuit design;
• determines a plurality of variations of the first circuit design;
• identifies one or more source registers involved in one or more unsuccessful retiming moves due to initial conditions conflicts, wherein the initial conditions conflicts occur when the retimer unsuccessfully determines power-up states for intermediate registers in the one or more variations to the first circuit design to exhibit functionally equivalent behavior as the first circuit design;
• and
• determines one or more selectively enablable recommendations indicating at least a portion of the one or more source registers for which one or more corrective actions can be performed;
• and
• a graphical user interface (GUI) that:
• displays an identity of the one or more source registers involved in the one or more unsuccessful retiming moves and one or more recommendations each comprising at least one of the one or more corrective actions, wherein the one or more recommendations are selectively enablable such that, for each of the one or more recommendations that is selected to be implemented, an associated corrective action of the corrective actions will be implemented to a corresponding source register of the one or more source registers;
• and
• receives user input indicative of the selected recommendations of the one or more recommendations;
• wherein the retimer is configured to generate a second circuit design in which a portion of the one or more corrective actions are performed to the portion of the one or more source registers based on the user input.