KL-Cuts: A new approach for logic synthesis targeting multiple output blocks. - Osvaldo Martinello; Felipe S. Marques 001; Renato P. Ribas; André Inácio Reis (DATE, 2010)

Improvements on the detection of false paths by using unateness and satisfiability. - Felipe S. Marques 001; Osvaldo Martinello; Renato P. Ribas; André Inácio Reis (SBCCI, 2010)