Virtual Platforms to Shift-Left Software Development and System Verification