Osvaldo Martinello

Publication Activity (10 Years)

Years Active: 2010-2010
Publications (10 Years): 0

Publications

Felipe S. Marques, Osvaldo Martinello, Renato P. Ribas, André Inácio Reis
Improvements on the detection of false paths by using unateness and satisfiability. SBCCI (2010)
Osvaldo Martinello, Felipe S. Marques, Renato P. Ribas, André Inácio Reis
KL-Cuts: A new approach for logic synthesis targeting multiple output blocks. DATE (2010)