Virtual Prototyping in SpaceFibre System-on-Chip Design System-level design