A new multi-objective mathematical model for the high-level synthesis of integrated circuits - Aras,Necati