Title :
Architecture driven partitioning
Author :
Kilter, J. ; Barke, Erich
Author_Institution :
Infineon Technol. AG, Munich, Germany
Abstract :
In this paper, we present a new algorithm to partition netlists for logic emulation under consideration of the targeted emulator architecture. The proposed algorithm allows the flexible use for a wide variety of applications because the description of the architecture is part of the input data. It combines a new approach of finding and improving an initial solution with existing algorithms to cluster the netlist and optimize the number of cut nets between blocks. As a result, the algorithm ensures that the cut nets between the created blocks can be connected within the emulation system, even without a full interconnect structure. Experiments on a number of designs and architectures demonstrate that the algorithm is competitive for architectures with full interconnect and that it is unique for architectures with limited interconnect resources
Keywords :
field programmable gate arrays; formal verification; integrated circuit interconnections; logic partitioning; logic simulation; architecture driven partitioning; cut nets; interconnect resources; interconnect structure; logic emulation; netlists; targeted emulator architecture; Algorithm design and analysis; Clustering algorithms; Emulation; Field programmable gate arrays; Integrated circuit interconnections; Logic; Partitioning algorithms; Pins; Routing; Switches;
Conference_Titel :
Design, Automation and Test in Europe, 2001. Conference and Exhibition 2001. Proceedings
Conference_Location :
Munich
Print_ISBN :
0-7695-0993-2
DOI :
10.1109/DATE.2001.915067