Efficient use of Virtual Prototypes in HW/SW Development and Verification