Seminario: "KL-Cuts: A New Approach for Logic Synthesis Targeting Multiple Output Blocks"
Osvaldo Martinello Jr, André I. Reis
Institute of Informatics Federal University of Rio Grande do Sul - UFRGS

DEI-Sala Seminari
Ore 14.30


This talk 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.

Prof. Fabrizio Ferrandi

Area di Ricerca: