The TMR SEM uses the uartlite driver, which can be used in either polled or interrupt mode, like any normal UART. For details on the SEM protocol, see the g036 Soft Error Mitigation Controller LogiCORE IP Product Guide (PG036) and the High Speed Ethernet PCS LogiCORE IP Product Guide (S PG186) (registration required).