Method for preserving regularity during logic synthesis
AssigneeInternational Business Machines Corporation
InventorsThomas Kutzschebauch, Leon Stok
Life of this patent
Estimating the term…
Abstract
The present invention concerns a method for maintaining regularity in a netlist during logic synthesis. The method determines a global regularity for the netlist. The method determines a group of elements in the netlist having similar regularity signatures. Further, the method applies a transform to the group of elements.
Claims17
A method for maintaining regularity in a netlist during logic synthesis, comprising the steps of:
- determining a global regularity for the netlist;
- determining a group of elements in the netlist having regularity signatures of similar characteristics;
- applying a transform to the group of elements while maintaining the global regularity during logic synthesis;
- determining a regularity signature for each element with the group, wherein the regularity signature comprises an adaptive signature for controlling changes in the netlist made by the transform;
- classifying each element within the group into a signature class according to the regularity signature;
- identifying a place in the netlist to improve;
- identifying a class method when an improvement can be made;
- applying the class method to each member of the signature class;
- determining whether the class method is successful;
- upon determining that the class method is unsuccessful, removing the changes made by the class method;
- and
- updating regularity signatures and classes.
A method for maintaining regularity in a netlist during logic synthesis, comprising the steps of:
- determining a global regularity for the netlist based on one of regularity, symmetry and dataflow;
- determining a group of elements having local regularity signatures of similar characteristics within the netlist;
- applying a transform to the group of elements, while maintaining the global regularity during the logic synthesis, wherein the local regularity signature comprises an adaptive signature for controlling the changes in the netlist made by the transform;
- and
- determining whether the local regularity signatures for each element are identical, removing changes to the netlist made by the transform if the signatures are different.
A method for maintaining regularity in a netlist during logic synthesis, comprising the steps of:
- (a) calculating a regularity signature for each of a plurality of elements in the netlist, wherein the regularity signature comprises an adaptive signature for controlling the changes in the netlist made by a transform to a soup of elements;
- (b) classifying the elements into signature classes based on the regularity signatures;
- (c) identifying a place to be improved during the logic synthesis in the netlist;
- (d) identifying a class method to be applied to the place in the netlist;
- (e) applying the class method to each member of a selected signature class;
- (f) determining whether the class method achieved a desired regularity signature for each member of the selected signature class;
- and
- (g) removing the changes made by the class method, if the class method does not achieve the desired regularity signature, thereby maintaining regularity in the netlist.
Dependencies are inferred from the claim text.