KL-Cuts: A new approach for logic synthesis targeting multiple output blocks

— This paper introduces the concept of kl-feasible cuts, by controlling both the number k of inputs and the number l of outputs in a circuit cut. To provide scalability, the concept of factor cuts is extended to kl-cuts. Algorithms for computing this kind of cuts, including kl-cuts with unbounded k, are presented and results are shown. As a practical application, a covering algorithm using these cuts is presented. Keywords – AIG; cut enumeration; technology mapping.

• Type: Conference
• Year: 2010
• Where: DATE
• Authors: Osvaldo Martinello, Felipe S. Marques, Renato P. Ribas, André Inácio Reis
• Keywords: Circuit Cut, DATE 2010, Factor Cuts, Hardware, Kl-feasible Cuts