The backend of the HW/SW co-simulator