From RTL IP to Functional System-Level Models with Extra-Functional Properties