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.
['Osvaldo Martinello', 'Felipe de Souza Marques', 'Renato P. Ribas', 'André Inácio Reis']
KL-cuts: a new approach for logic synthesis targeting multiple output blocks