High-Level Emulation for certain system SPRXs