High-level synthesis with multi-objective genetic algorithm: A comparative encoding analysis