Rovi recorta su beneficio neto un 12,5% en el primer semestre, hasta los 15,8 millones