Virtual Prototyping in SpaceFibre System-on-Chip Design