testing. To make this not fail, remove the reset server behaviour in SoC_Top which appears to not be needed as it is only calling reset servers upon actual reset when everything has been reset anyway. I suppose these reset servers are meant for debug-unit-initiated reset events.