A Technique for Avoiding Isomorphic Netlists in Architectural Synthesis

Register-Transfer (RT-) level netlists are said to be isomorphic if they can be made identical by relabelling RT-components. RT-netlists can be generated byarchitectural synthesis. In order to consider just the essential design decisions, architectural synthesis should consider only a single representative of sets of isomorphic netlists. Nevertheless, many current synthesis algorithms do not take advantage of this potential reduction in search space. This is especially true for approaches which focus on optimizing the wiring between resource instances. In this paper, we are using netlist isomorphism for the very rst time in architectural synthesis. Furthermore, we describe how an integer-programming (IP-) based synthesis technique can be extended to take advantage of netlist isomorphism. As a result, the running time required for synthesis is reduced

A Technique for Avoiding Isomorphic Netlists in Architectural Synthesis

Register-Transfer (RT-) level netlists are said to be isomorphic if they can be made identical by relabelling RT-components. RT-netlists can be generated by architectural synthesis. In order to consider just the essential design decisions, architectural synthesis should consider only a single representative of sets of isomorphic netlists. Nevertheless, many current synthesis algorithms do not take advantage of this potential reduction in search space. This is especially true for approaches which focus on optimizing the wiring between resource instances. In this paper, we are using netlist isomorphism for the very first time in architectural synthesis. Furthermore, we describe how an integer-programming (IP-) based synthesis technique can be extended to take advantage of netlist isomorphism. As a result, the running time required for synthesis is reduced. On leave from the University of Dortmund. Supported through NATO grant # CRG 950910. y Current affiliation: Universitat Dortmund,..