ENOSYS : intEgrated modelliNg and synthesis tOol flow for embedded SYStems design