Osvaldo Martinello

According to our database, Osvaldo Martinello authored at least 2 papers in 2010.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2010

Improvements on the detection of false paths by using unateness and satisfiability.

Felipe S. Marques, Osvaldo Martinello, Renato P. Ribas, André Inácio Reis

Proceedings of the 23rd Annual Symposium on Integrated Circuits and Systems Design, 2010

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

Osvaldo Martinello, Felipe S. Marques, Renato P. Ribas, André Inácio Reis

Proceedings of the Design, Automation and Test in Europe, 2010