Performing latch mapping of sequential circuits

A system for performing latch mapping, comprising:

• a database operable to store an initial circuit model representing a first circuit and a second circuit;
• and
• a server system coupled to the database and operable to:
• generate an initial latch mapping for the initial circuit model;
• repeat the following until a next latch mapping is at least substantially similar to a current latch mapping to yield a final latch mapping:
• construct a current circuit model according to a previous circuit model;
• establish one or more current potentially equivalent node sets associated with the current circuit model in accordance with one or more previous potentially equivalent node sets, each potentially equivalent node set comprising one or more potentially equivalent nodes;
• validate equivalence of the one or more current potentially equivalent node sets;
• and
• verify a current latch mapping in accordance with the validated one or more current potentially equivalent node sets to generate a next latch mapping;
• and
• report the final latch mapping.

Logic for performing latch mapping, the logic embodied in a medium and operable to:

• receive an initial circuit model representing a first circuit and a second circuit;
• generate an initial latch mapping for the initial circuit model;
• repeat the following until a next latch mapping is at least substantially similar to a current latch mapping to yield a final latch mapping:
• construct a current circuit model according to a previous circuit model;
• establish one or more current potentially equivalent node sets associated with the current circuit model in accordance with one or more previous potentially equivalent node sets, each potentially equivalent node set comprising one or more potentially equivalent nodes;
• validate equivalence of the one or more current potentially equivalent node sets;
• and
• verify a current latch mapping in accordance with the validated one or more current potentially equivalent node sets to generate a next latch mapping;
• and
• report the final latch mapping.

A system for performing latch mapping, comprising:

• means for receiving an initial circuit model representing a first circuit and a second circuit;
• means for generating an initial latch mapping for the initial circuit model;
• means for repeating the following until a next latch mapping is at least substantially similar to a current latch mapping to yield a final latch mapping:
• constructing a current circuit model according to a previous circuit model;
• establishing one or more current potentially equivalent node sets associated with the current circuit model in accordance with one or more previous potentially equivalent node sets, each potentially equivalent node set comprising one or more potentially equivalent nodes;
• validating equivalence of the one or more current potentially equivalent node sets;
• and
• verifying a current latch mapping in accordance with the validated one or more current potentially equivalent node sets to generate a next latch mapping;
• and
• means for reporting the final latch mapping.

A method for performing latch mapping, comprising:

• receiving an initial circuit model representing a first circuit and a second circuit;
• generating an initial latch mapping for the initial circuit model;
• repeating the following until a next latch mapping is at least substantially similar to a current latch mapping to yield a final latch mapping:
• constructing a current circuit model according to a previous circuit model;
• establishing one or more current latch equivalence sets corresponding to the current latch mapping, identifying a current latch equivalence set that consists of one or more latch representatives, and splitting the identified latch equivalence set into one or more next latch equivalence sets, each next latch equivalence set comprising a latch representative;
• establishing one or more current potentially equivalent node sets associated with the current circuit model in accordance with one or more previous potentially equivalent node sets, each potentially equivalent node set comprising one or more potentially equivalent nodes, by identifying one or more function changes associated with the one or more previous potentially equivalent node sets and the one or more current potentially equivalent node sets, and recording the function changes;
• validating equivalence of the one or more current potentially equivalent node sets by:
• determining that a first potentially equivalent node is not equivalent to a second potentially equivalent node at the previous iteration, and establishing that the first potentially equivalent node is not equivalent to the second potentially equivalent node at the current iteration;
• determining that a third potentially equivalent node is equivalent to a fourth potentially equivalent node at a previous iteration, the third potentially equivalent node associated with one or more third fanin nodes, the fourth potentially equivalent node associated with one or more fourth fanin nodes, determining that the one or more third fanin nodes remain unchanged from the previous iteration to a current iteration, determining that the one or more fourth fanin nodes remain unchanged from the previous iteration to the current iteration, and establishing that the third potentially equivalent node is equivalent to the fourth potentially equivalent node at the current iteration;
• and
• determining that a fifth potentially equivalent node is equivalent to a sixth potentially equivalent node at a previous iteration, the fifth potentially equivalent node associated with one or more fifth fanin nodes having one or more fifth constraints, the sixth potentially equivalent node associated with one or more sixth fanin nodes having one or more sixth constraints, determining that there is no relative change between the fifth constraints and the sixth constraints, and establishing that the fifth potentially equivalent node is equivalent to the sixth potentially equivalent node at a current iteration;
• verifying a current latch mapping in accordance with the validated one or more current potentially equivalent node sets to generate a next latch mapping;
• and
• reporting the final latch mapping.

A method for performing latch mapping, comprising:

• accessing a circuit model representing a first circuit and a second circuit;
• receiving a first partial latch mapping of the circuit model, the first partial latch mapping designating one or more current latch equivalence sets;
• selecting a latch representative from each current latch equivalence set;
• organizing one or more next latch equivalence sets according to the latch representatives;
• generating a modified circuit model in accordance with the next latch representatives equivalence sets;
• determining a second partial latch mapping of the modified circuit model according to a complete latch mapping technique;
• and
• determining a latch mapping in accordance with the first partial latch mapping and the second partial latch mapping.

A system for performing latch mapping, comprising:

• a database operable to store a circuit model representing a first circuit and a second circuit;
• and
• a server system coupled to the database and operable to:
• access the circuit model;
• receive a first partial latch mapping of the circuit model, the first partial latch mapping designating one or more current latch equivalence sets;
• select a latch representative from each current latch equivalence set;
• organize one or more next latch equivalence sets according to the latch representatives;
• generate a modified circuit model in accordance with the next latch representatives equivalence sets;
• determine a second partial latch mapping of the modified circuit model according to a complete latch mapping technique;
• and
• determine a latch mapping in accordance with the first partial latch mapping and the second partial latch mapping.

Logic for performing latch mapping, the logic embodied in a medium and operable to:

• access a circuit model representing a first circuit and a second circuit;
• receive a first partial latch mapping of the circuit model, the first partial latch mapping designating one or more current latch equivalence sets;
• select a latch representative from each current latch equivalence set;
• organize one or more next latch equivalence sets according to the latch representatives;
• generate a modified circuit model in accordance with the next latch representatives equivalence sets;
• determine a second partial latch mapping of the modified circuit model according to a complete latch mapping technique;
• and
• determine a latch mapping in accordance with the first partial latch mapping and the second partial latch mapping.

A system for performing latch mapping, comprising:

• means for accessing a circuit model representing a first circuit and a second circuit;
• means for receiving a first partial latch mapping of the circuit model, the first partial latch mapping designating one or more current latch equivalence sets;
• means for selecting a latch representative from each current latch equivalence set;
• means for organizing one or more next latch equivalence sets according to the latch representatives;
• means for generating a modified circuit model in accordance with the next latch representatives equivalence sets;
• means for determining a second partial latch mapping of the modified circuit model according to a complete latch mapping technique;
• and
• means for determining a latch mapping in accordance with the first partial latch mapping and the second partial latch mapping.

A method for performing latch mapping, comprising:

• accessing a circuit model representing a first circuit and a second circuit by determining the first partial latch mapping according to an incomplete latch mapping technique, and by retrieving the first partial latch mapping from a database;
• receiving a first partial latch mapping of the circuit model, the first partial latch mapping designating one or more current latch equivalence sets;
• selecting a latch representative from each current latch equivalence set;
• organizing one or more next latch equivalence sets according to the latch representatives by identifying the latch representative of each current latch equivalence set, selecting one or more latches, the one or more latches not members of the current latch equivalence sets, and organizing the latch representatives and the one or more latches to yield the next latch equivalence sets;
• generating a modified circuit model in accordance with the next latch representatives equivalence sets;
• determining a second partial latch mapping of the modified circuit model according to a complete latch mapping technique;
• and
• determining a latch mapping in accordance with the first partial latch mapping and the second partial latch mapping.