Hardware/Software Validation with a TLM Virtual System Prototype