Register retiming and verification of an integrated circuit design

摘要

A circuit design description may have registers and combinational gates. Circuit design computing equipment may perform register retiming on the circuit design description, whereby registers are moved across combinational gates, information about the register moves are recorded, and ultimately a modified circuit design description is created. The circuit design computing equipment may perform sequential equivalence checking to ensure that the circuit design description and the modified circuit design description are sequentially equivalent. To facilitate the sequential equivalence checking, the circuit design computing equipment may augment the two circuit design descriptions based on the information recorded during register retiming.

主权项

1. A method for operating circuit design computing equipment to perform register retiming, verification, and configuration of an integrated circuit, comprising:
with the circuit design computing equipment, receiving a first circuit design description having primary inputs, primary outputs, and a combinational gate having an output port; with the circuit design computing equipment, performing register retiming on the first circuit design description to create a second circuit design description having the primary inputs, the primary outputs, and the combinational gate; augmenting the first and second circuit design descriptions in preparation for performing sequential equivalence checking, wherein the augmented first and second circuit design descriptions each have an additional primary output that is coupled to the respective output port of the combinational gate; performing verification on the augmented first and second circuit design descriptions by checking sequential equivalence at the additional primary output of each of the augmented first and second circuit, design descriptions; generating configuration data based on the register retiming and the verification; and storing the configuration data in configuration memory of the integrated circuit.