Cartesian genetic algorithm for boolean synthesis with power consumption restriction