From RTL IP to functional system-level models with extra-functional properties