If interconnections have to be taken into account duringarchitectural synthesis, functional units must be uniquely labelled inorder to identify the end points of interconnections. Structuresdiffering only by their labels are called isomorphic. One would assumethat tools synthesizing netlists consider only a single representativeof each set of equivalent netlists. This, however, is not true. Hence,there are cases, in which exploiting netlist isomorphism would reducethe search space. This reduction has been exploited in our OSCARsynthesis system, which uses an integer programming approach toarchitectural synthesis
展开▼
